背景 Giga bit Ethernetが当たり前な今日この頃ですが、 RJ45ポートが1つある他はUSB2.0ポートしかない一昔前のラップトップをマルチホーム運用したくてですね。。。 今回試した製品 Cable Matters USB2.0 to 10/100 Fast Ethernet Adapter (202023-Black) A…

背景 ミーティングだとかゼミだとか云った場でログを取る時にお決まりの記述がある。逐一入力するのが面倒だったので、 日付、時刻、何のログかと言った情報を加えたテンプレを作ってEDITORで開くという、 ログ取りの補助をしてくれるスクリプトをつくろうと…

背景 日常的なメモを取る時に、yyyymmdd_HHMM_hoge.txt *1ってファイルを逐一作ってたんだけど、yyyymmdd_HHMMを入力するのが面倒。 簡単な設計 引数なしならyyyymmdd_HHMM.txt、引数ありならyyyymmdd_HHMM_hoge.txtってファイルをvimで開くだけ。*2 引数が2…

注意 暫定的に採った対処でしかありません。 これが正しい対応だという確信はありません。 本記事の内容を参考にして生じた如何なる事態にも責任は取りません。 問題の所在 某学会テンプレートのスタイルファイルを用いて論文執筆中に いつものノリでplatex;…

背景 先日、サーバのディスク残量が枯渇しているのに気付かず、 丸一日走らせてしまうという失態を犯して実に残念な気分になった。 こういった事態が二度と起こらないように、 ディスク容量を定期的にチェックして、利用率が閾値以上だった場合に 所定のメー…