Thought about system by Hiroyasu Ishikawa

We are uncovering better ways of developing system.

Universal ctagsをUbuntuにインストール

PPA*1を公開してくれている方がいた。さっとインストールしたい場合に助かる。PPAなので何かあっても泣かない。

universal-ctagsのUbuntu 18.04 LTS用debパッケージをビルドした

$ sudo add-apt-repository ppa:hnakamur/universal-ctags
$ sudo apt update
$ sudo apt install universal-ctags

*1:Personal Package Archive

VIMの環境メモ

Ubuntuによく使うVIMプラグインをインストールする時、現時点でそのまま"apt install vim"しても、要件を満たせない。

以下にさっと環境を整えるためのコマンド一覧をメモしておく。

$ sudo add-apt-repository ppa:jonathonf/vim
$ sudo apt install vim
$ sudo apt install python3-pip
$ pip3 install pynvim

https://github.com/Shougo/dein.vim
GitHub - Shougo/defx.nvim: The dark powered file explorer implementation
GitHub - roxma/vim-hug-neovim-rpc: EXPERIMENTAL

追記
以下のような公開鍵のエラーが出力された。

公開鍵を利用できないため、以下の署名は検証できませんでした: NO_PUBKEY 8CF63AD3F06FC659

鍵を追加すればエラーを回避できる。

sudo apt-key adv --keyserver ha.pool.sks-keyservers.net --recv-keys 8CF63AD3F06FC659

ROSで使う新旧のビルドツール

ROSのCatkin向けツールについて、新旧の2つのツールがあるようだ。古い記事だけでなく、最近も古い方で記述されている記事もあるため、どちらも知らないと読み替えで混乱しそう。

catkin-tools.readthedocs.io

ROS/Tutorials/catkin/CreatingPackage - ROS Wiki

Network configuration for ubuntu linux

Ubuntu Linuxでネットワークを設定

Ubuntu LinuxIPアドレスを静的に割り振ろうとしてネットワークの設定を変更した。
以前Linuxで設定した時の方法と異なる記憶であるため、記録しておく。
環境は、以下の通り。

設定する方法

下記のドキュメントに従って設定した。
help.ubuntu.com

f:id:hiro211:20190602192710p:plain
netplanの設定ファイル

設定結果

f:id:hiro211:20190602192326p:plain
ipコマンドによる設定後の表示