$という実行ファイルを作ったら捗った #Shell

こんなのがあって

$ echo "hello, world"

まるごとコピペしたら

$ $ echo "hello, world"
-bash: $: No such file or directory

こうなった経験あるよね？

解決

どこかPATHの通ったところに$という名前のファイルを以下の内容で作る。

#! /bin/sh
exec /bin/bash -ic "$(printf '%q ' "$@")"

すると、

$ $ echo "hello, world"
hello, world

コピペできる！

まぁネタなんですが、意外と便利。

alias や function なども呼べるようにしたかったので、interactive shellで実行するようにしてみました。