terminal type が PostScriptの場合 terminal type が PostScriptの場合は以下です。75種類まで定義されています。16以降はデザインが微妙な感じもします。実際に使えるのは15…

wiki@nothingのページに書いてあるままです。 w32tm /config /manualpeerlist:”ntp.jst.mfeed.ad.jp ntp.nict.jp ntp.ring.gr.jp” net…

Gmail のメールを取り込む場合、POP3でもIMAP4でも over ssl で送受信を暗号化する必要があります。over ssl を行うには、接続先(この場合はgmail) CA (Certificate Auth…

“show palette colornames”の出力を整形しました。全部で112が定義されています。 grayとgreyは同じですので省略してあります。 white #ffffff = 255…

はじめに LinuxなどのX-windowでデュアル・ディスプレイを使用したい時にはxrandrが便利です。今ま では、ログインした度に、xrandrを実行してデュアル化していました。しかし、毎回ログインする度に、 xr…

display(vga)もkeyboardも、mouseもつながないでLinuxを起動させたかったのですが、なかなか起動しません。(環境はDebian unstalbe) ubuntu forumのスレッド によると、放…

soxを使うのが一番簡単なようです (ecasoundでも可 能なようです): rec -c 2 output.wav trim 0 30:00 trim を使うと録音時間を指定できます。 mixerでキャプチャする場所…

2010年7月17日くらいにMcAfeeをアップデートしたら、他のマシンからリモートデスクトップが使用で きなくなりました。 調べてみると、ファイヤーウォールで遮断されているようです。 「設定・機能等一覧」→「ファイヤー…

mpg123を使う場合 mpg123 -w output.wav input.mp3 mpg321を使う場合 mp321 –wav output.wav input.mp3 ffmpegを使う場合 ffmpeg -i …

メモ。 例えば誤差関数の場合は: \DeclareMathOperator{\erf}{erf}