技術メモ帳 - pgrep, pkill を使用してプロセスを殺す
最近、会社でシェルの操作方法について教えているのだが、 pgrep / pkill / skill / pidof といった 便利なプロセス操作系コマンドを知らない人が実に多い。 プロセスを殺すというのは、よくある作業なので 今回はコレについて書いてみる。 たとえば、これらのコマンドを知らない人が、 指定した名前のプロセスを kill する手順はだいたい 以下のようなものになることだろう。 $ ps aux | grep プロセス名 | grep -v 'grep' # コマンドの出力結果から pid を目で確認 12345 ... .. hoge .. .. $ kill 12345 この作業は非常に面倒で退屈だ。 もし殺さなければならないプロセスがたくさんあったときは どうするのだろうか。 おまけに、grep コマンド自身が候補に含まれてしまう事があるのだが、 grep -v grep
Webアプリケーション作った後のチェック表
愛宕山太郎坊 アニメーション制作進行支援ソフト 愛宕山太郎坊 ログイン 会社id ユーザー名 パスワード ユーザー名またはパスワードが正しくありません。 閉じる ログイン
zshのインクリメンタル補完がカッコイイ件について - すがブロ
zsh でのコマンド入力時に補完してくれる 例えば、 ls -l /Us まで入力すると、 ls -l /Users と補完してくれる。 こんな感じで、補完された文字は緑色で表示される。 複数候補が出た場合は入力行の下に Tab で複数の候補がでるのと同じ感じで表示される。 元々 Tab での補完を使っていたのだけど、 Tab での補完が絞り込まれるまで何文字か入力しようとして綴りを間違えるというのが結構あった。 しかし、これがあれば、そのようなショーもない綴り間違いが減りそうな気がしているのでした。 導入方法 Incremental completion on zsh 上記に行って zsh ファイルを保存する。 % mkdir -p .zsh/plugin % cd .zsh/plugin % curl -O -L http://mimosa-pudica.net/src/incr-0.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
