DellのXPS13(9360)を買ったのでubuntuを入れようとした。 目的としてはwindows10とubuntuのデュアルブートをしようとしたが、それ以前の問題でubuntuのインストール時にSSDを認識できなかった。とりあえずArchwiki Dell XPS 13 (2016) - ArchWikiまた、dell…

ubuntu15.10でtmuxをaptで入れてもバージョンが2.0とかしか入らないので最新版を使うためにはソースからビルドする必要がある。 cd /usr/loca/src sudo git clone https://github.com/tmux/tmux.git cd tmux sudo ./autogen.sh sudo ./configure --prefix=/u…

タイトル通り、ubuntuで time hoge としても確かに計測はできているようではあるが出力にreal,user,sysとかがない。また、オプションを付けてもエラーがでる。 どうやらbashのtimeコマンドを呼び出してるのかなぁ。。。結局直接timeコマンドを呼び出す必要が…

うん。前にキーバインドの設定方法にxkbを使って設定するために ~/.xkb/kemap/keymapを書き換えるみたいな方法を書いた。 あの方法はzshrcを読み込むとうまく起動してくれる。そこまでは良かった。 しかし、困ったことに日本語を入力したあとに設定が反映さ…

キーバインド変更を試みた。その方法をメモっておく。 環境はubuntu 15.04 使用するのはxkbなんかいろいろググると~/.xkb/keymap/.mykbdと~/.xkb/symbols/mysmbolを変更していろいろやってたけどそれをしてもうまくいかなかった。3時間位頭かかえたけどどう…