vim 8.0 でvimrc をいい感じにしていたのに、ppa (https://launchpad.net/~jonathonf/+archive/ubuntu/vim) を sudo add-apt-repository ppa:jonathonf/vim でvim-gnome をインストールすると 8.1 がインストールされるようになっている。 そうすると、いま…