スキップしてメイン コンテンツに移動

投稿

12月, 2016の投稿を表示しています

連番ファイルを100個作る

連番ファイルは # touch file{1..100} ってすれば、file1からfile100という空っぽのファイルを作ってくれる。 # touch file{001..100} ってすれば、file001, file002, ...みたいにゼロ埋めしてくれて桁が揃う。 10KBのファイルを100個作りたかったら # dd if=/dev/zero of=file bs=1024 count=10 ってやって10KBのファイルを作ってから # for i in `seq -w 1 100`; do cp file file${i}; done ってやれば、file001, file002, ...って作れる。

wgetでサイトをバックアップ

これでいけるかと。 wget -e robots=off\ --output-file=./wget.log\ --no-cache\ --html-extension\ --convert-links\ --page-requisites\ --restrict-file-names=nocontrol,windows\ --domains=www.example.com\ --no-parent\ --mirror\ --wait=1\ --waitretry=1\ --timeout=5\ http://www.example.com/ WordPressサイトは、feedを取得しないようにするとこうなる。 wget -e robots=off\ --output-file=./wget.log\ --no-cache\ --html-extension\ --convert-links\ --page-requisites\ --restrict-file-names=nocontrol,windows\ --domains=www.example.com\ --no-parent\ --mirror\ --wait=1\ --waitretry=1\ --timeout=5\ --exclude-directories=/feed\ http://www.example.com/ あと、コメントのフィードリンクがページ中にあると、せっかくダウンロードしたページがフォルダに変わってしまって feed っていうファイルだけになってしまうので、先にこちらを参考にlinkを消してください。 ■[WordPress] コメントの RSS フィードリンクを削除する http://jz5.jp/2013/11/23/remove-wordpress-comment-rss/ remove_action('wp_head', 'feed_links_extra', 3); だけ追加してもOKだった。 その他、wget のオプションはここがすごくわかりやすかった。 ■ダウンロードコマンドwg...