Linux renameコマンドでファイル名の一括置換 プログラミングをしている途中で、クラス名などの名前付けがいまいちだったな、と思う時があります。 そういうときは、エディタを使ってクラス名や変数名を置換して、より良い名前付けに変えたりします。 ファイル名の置換はどうするか? しかしながら、ク... 2014.10.24 Linux
Linux UUIDはなぜ、分散環境で好き勝手に生成しても衝突しないのか。RFC4122規格とUUIDの性質。 UUIDとは、Universally Unique Identifierの略で、単純にいえば世界でひとつのIDです。よくUUIDって言うけど、その正体は何なのか。調べてみました。 PHPのuniqid関数でユニークIDを生成する。 ... 2014.03.28 Linux
Linux IP制限されているWEBサイトをSSH経由でブラウザに表示する。 開発サーバなどで、SSHに使う22番ポートは解放しているけど、HTTPに使う80番ポートは外部に解放していないという状況があります。そういう状況でSSHを踏み台にして、ブラウザで閲覧したいなと思っていたのですが、最近それができる方法が分か... 2014.03.14 Linux
Linux mkdirでディレクトリが存在しない時だけディレクトリを作成する。 ディレクトリを作成するコマンドmkdir ディレクトリを作成するコマンドは、mkdirです。 $ mkdir some_directory これでsome_directoryディレクトリができます。 既にディレクト... 2014.03.11 Linux
C言語 Linuxで共有ライブラリsoを作ったり使ったりする方法。 昨日はMac OSXでダイナミックライブラリの作り方を書きました。 Mac OSXでダイナミックライブラリdylibを作ったり使ったりする方法。 今日は、Linux編です。 Linuxの場合は共有ライブラリso Li... 2013.10.24 C言語Linux
Linux スーパーユーザー権限が必要なファイルにcatコマンドでテキストを書き込む。 いまだにChefのようなかっこいいツールが使えない僕は、インフラの設定をシェルスクリプトでつらつらと残していたりします。 設定ファイルの書き換えや作成などが少し面倒で、catコマンドでテキストを吐かせて出力をファイルにリダイレクトさせて書き... 2013.08.06 Linux
Linux ターミナルを閉じてもプロセスを終了させないnohupコマンド バッチ処理しようと思って、サーバにSSHで接続して、スクリプトを実行しました。 $ some_batch 実行したはいいものの・・・。 問題は、処理が終わる前に接続を切りたくなってしまった場合です。 たとえば、ネットワーク環境が急に悪く... 2012.05.22 Linux
Linux Linuxシェルでファイルの中身の一部を書き換えるsed Linuxのシェル上でファイルの一部を書き換えたいときがあります。 たとえば、設定ファイルを書き換えるシェルスクリプトを作りたい、など。 テキスト変換コマンドsed sedは、stream editorの略で、入力されたテキストに何かしらの... 2012.05.11 Linux