動機
最近研究室内等での小さな使いまわせるツールをいくつか書くようになり,自分でも忘れないようにQucikStartを書くことが多くなった.また,gitの使い方等の入門スライド等も作るようになった.
これらの記事を書く際に必要になるのが
$ git clone XXXX $ cd XXXX $ ./run
みたいなコマンドの実行履歴である.
今までこれを手打ちで書いてターミナルにマウスカーソルを持って行ってコピーするみたいな非効率的なことをやっていたが,実はもっと効率的に作業できるのでは?と思い記事を書いた.
入力と出力をまるまる保存したい
こういう時はscript
コマンドを使う.
script
して,exit
したらその間の処理をいい感じにファイルに吐いてくれる.
この記事を参照する
https://dev.classmethod.jp/server-side/os/scriptcommand/
使用したコマンドだけを出力したい
history
コマンドを使用する.
fishやzshではちょっと違いそう
参考) https://stackoverflow.com/questions/7110119/bash-history-without-line-numbers/7110197
$ history -c $ command1 $ command2 $ history | awk '{$1="";print substr($0,2)}' | sed -e 's/^/$ /g' | head -n -1
これで$マークがついたいい感じの履歴が表示される.awkでhistoryの数字を削り,sedで行頭に$を追加,headでhistoryコマンドそのものの表示を削っている.
[参考] 履歴をスライドに貼り付けたい時
これが便利そう