mysqlをソースからインストールする。 pluginは全部有効にする。 cd /usr/local/src wget http://dev.mysql.com/get/Downloads/MySQL-5.1/mysql …
月別アーカイブ: 2010年1月
Linux:webdavを利用する
Ubuntuで使えるwevdavクライアントを探してもみつからない。 Linuxでwebdavに接続するにはmountコマンドを使うらしい。 マウント先のディレクトリを作成後、mount -t davfsでマウントする。 …
Linux:ファイルシステムのマウント
システムで利用するファイルシステムのエントリを変更するには/etc/fstabを編集する。 sudo vi /etc/fstab /etc/fstab # <file system> <mount po …
Ubuntu:vim-gnomeをインストールする
Ubuntuに初期インストールされているvimはフルーヴァージョンでは無いので以下のような問題がある。 ・矢印キーの動きが変(UとかDが改行とともに入力される) ・syntax on などのコマンドが使えない これらはv …
Linux:グループの追加と設定
Linuxにグループを追加するにはgroupaddコマンドを使う。 groupadd グループ名 グループに所属するユーザを変更したい場合は/etc/groupを編集する。 sudo vi /etc/group /etc …
Linux:コマンドプロンプトの書式を変更する
Ubuntuデフォルトのプロンプトはカレントディレクトリが深い階層になったとき、プロンプト表示でかなりの幅を取ってしまい見難いのでプロンプトの書式を変更した。 プロンプトの書式はPS1というシェル変数に設定する。 PS1 …