2013-06-23から1日間の記事一覧
複数の種類のコマンドの切り分けを自動的にやらせる pukiwiki で作業ログを書いているときに, 一つのページに複数のコマンドの作業ログを書くことがある. 再実行させるときに, 毎回自分で切り替えながらコマンド実行しているけど, 範囲を選択して \r で実行…
複数の種類のコマンドの切り分けを自動的にやらせる pukiwiki で作業ログを書いているときに, 一つのページに複数のコマンドの作業ログを書くことがある. 再実行させるときに, 毎回自分で切り替えながらコマンド実行しているけど, 範囲を選択して \r で実行…