以下の二行を追記した。コピー/ペースト機能のキーボードショートカットを無効にしている。理由は誤爆によるオペミスの防止。プロンプトではヒストリを無効にしている」という話を見聞きしたことがあり、それにヒントを得てやってみた。プロンプトを開いたウィンドウで誤爆したときクリップボードにへんなものが入っていたら目も当てられないなとおそろしくなったので、頻繁に使うものでもないし、いっそ無効にしてしまった。オフにすれば十分なんだけど、なんとなくこわいのでどっちのキーも押さない習慣をつけるように両方切った。都度入力するのでちょっと手間だけど、万一のときのリスクを考えたら十分見合うコストだと思う。