今から帰る。今日は一日研修でした。

そろそろ夏休みの予定を立てなきゃ。 実は僕の会社は夏休みが多くて、7/23〜7/31(土日を入れて9連休)と8/12〜8/16(土日を入れて5連休)がお休み。 7月終わりの夏休みは、友人とドライビング小旅行 + 帰郷。8月のお盆は、例年通り上京。ってところかな。

wgetでプロキシの設定を行うには。 方法1。wgetrcにhttp_proxy、ftp_proxyを設定する。こんな感じ。wgetrcは、pkgsrcでインストールしている場合/usr/pkg/etc/wgetrcにあると思う。/usr/pkg/etc/wgetrcを~/.wgetrcにコピーしてもOK。 # You can set the defa…