2020-08-01から1ヶ月間の記事一覧
numi.appというmac向けのアプリが面白いです。 numi.app numi.appは高機能な電卓です。 面白い特徴は様々な単位換算が可能であることと、数字だけではなく文で書くことができることです。 例えば、$100 in yenと入力すると、¥ 10,567.41という計算結果を得る…
catkin tools (catkinコマンド)を用いてソースコードをビルドする時に、ビルドオプションを変更したいことがあります。 たとえば、RelaseビルドとDebugビルドを切り替えたいときです。 このようなビルドオプションの切り替えには、catkin profileの機能が便…
find-name-diredは, あるディレクトリ以下のファイルの文字列を一括で変換したりする際に、便利な関数です。 qiita.com www.gnu.org しかし, .gitディレクトリが候補に含まれてしまうと, 何かと不便なことが多いです。 以下のようにfind-name-argを変更する…