Skip to main content

Shell

Less than 1 minute

Shell

シェル関連を置くところ。sedやawkも関係しがち。

コマンドの記録

zshでのヒストリの保存

上記のstackoverflowのはgawkの所でエラーが出て動かなかった。ダブルクオートにエスケープが必要そうな気がするが、つけたら今度はdateでエラーになったので何かが間違ってそう。

という事でbashのブログからリンクされてたcommand line - How do you share history between terminals in zsh? - Ask Ubuntuと、保存される方の数だけ増やすという事で以下にする。

setopt share_history
export SAVEHIST=1000000000

これで良さそう。

日付を表示するのはhistory -i。 全部表示するならhistory -i 0。

ln はソースが先、destがあと

$ ln -s ../../go_related/gnugo gnugo-3.8

ディレクトリだけls、ファイルだけls

毎回やり方がわからなくてググるのでメモ。 ディレクトリだけのlsは以下。

$ ls -d */

一行ごとに改行して欲しい時は-1。

$ ls -1d */

ファイルだけのlsは以下。（オプション無いのか）

$  ls -p | grep -v /

雑多なメモ

シェルの再起動

良くやり方を忘れるので

$ exec $SHELL -l

bcの小数計算

lオプションでできる。

$ echo "106.2/103.3" | bc -l
1.02807357212003872216