.wgetrcに､http_proxyの設定する｡ man には載っていなかったのでメモ｡ http_proxy=http://<server_name>:<port> http_proxy = string Use string as http proxy, instead of the one specified in environment. no_proxy = string Use string as the comma-separated list of do</port></server_name>…

マニュアルに載っていることですが､今まで利用していませんでした･･･ du -h "Human-readable" output. Use unit suffixes: Byte, Kilobyte, Megabyte, Gigabyte, Terabyte and Petabyte -s Display an entry for each specified file. (Equivalent to -d 0) …

フリーな静的解析ツール Splint Home Page Index of /projects/git-snapshots/sparse/ Free software tools for formal verification of computer programs (参考)有償 Source Code Analysis Tools for Security & Reliability | Klocwork Software Testing …

configure スクリプトや Makefile を自動的に生成してくれるツールの説明｡

# chsh -s <シェルのパス> <ユーザ名>OSXだとchpassでも変更できる｡ via シェルを恒久的に変更 - cloned.log変更できるシェルは、/etc/shellsに設定されているシェルのため、必要に応じて/etc/shellsにパスを追加する必要があります。(ソースからインストー…

# set -u # echo $DUMMY sh: DUMMY: unbound variablevia http://blog.miraclelinux.com/ctd/2006/08/post_a6c8.html