USBの容量が空いているのに、書き込みができなくなった。 どうやらUNIXの仕様の問題らしい。 UNIX系のOSでは、USBに書きこむ場合、inodeと実データを記録するらしい。 inodeには以下の情報がある ファイルの所有者 ファイルのアクセス権 サイズ 作成日時 実…

jpg画像を一気にconvertした時につまずいた。 #!/bin/bash for file in *.jpg do convert $file ${file%.jpg}.png done エラー文 convert: unable to open image `test': No such file or directory @ error/blob.c/OpenBlob/2617.convert: no decode delega…

久しぶりに更新。最近はFedoraを使っている。忘れそうなのでショートカットの設定を覚書として書いておく。システム設定から以下の状態までいく。(英語表記)[System Settings] -> [Keyboard] -> [Shortcuts] 半角英数と日本語の切り替え [Shortcuts]欄の[Typ…

今更ながら設定しました。 それぞれログイン時。 ゲストアカウントの無効化 ユーザ名とパスワードを入力する 1.ゲストアカウントの無効化 /etc/lightdm/lightdm.conf に以下の設定を追記する。 allow-guest=false その後、 sudo restart lightdm 2.ユーザ名…

lintとは ・c言語のソースチェッカー ・コンパイラが検出できない、ソースコードの間違いを検出できる lintをubuntuにインストールする sudo apt-get install splint ubuntuではlintはsplintというパッケージになってるようだ。 その他オプションはmanコマン…

OpenGLをUbuntu12.04にインストールした時のメモ。 ＃OpenGLライブラリ sudo apt-get install freeglut3-dev libglew1.5-dev ＃動かない場合以下もインストールすると動くらしい sudo apt-get install libxmu-dev libxi-dev /* テストプログラム */ #include <GL/glut.h></gl/glut.h>…

macでRubyをアップデートしたときの覚え書き MacPortsを使用。 今回使用したmacがメンテナンスされていなかったのでportを使うとエラーが出たが、以下のコマンドを打つと正常に作動するようになった。 sudo port -d selfupdate sudo port upgrade installed …

国際電話のかけ方。 0011(国際電話識別番号)-81(日本の国番号)-0を抜いた市外局番-日本の電話番号 たとえば通話先の電話番号を043-123-4567 とした場合、0011-81-43-123-456 となる Amazonアカウントを作る際に必要になったのでメモ

pdfの出力サイズを変更したい時に、情報を見つけずらかったので記述。 dvipdfmx にオプションを付けないとデフォルトでA４にしちゃうよー ということらしい。 dvipdfmx -p b5 [filename] と変換してあげるとB５のpdfにできた b5を変更すれば好きなサイズにで…