News for hackers. Stuff that matters.

A comment on A Quick and Easy Guide to Tmux (2015). Parent comment

Re:A Quick and Easy Guide to Tmux (2015) by na85 on Tuesday October 29, 2019 @06:35PM (#21392834)
Isn't that a simple matter of

  ps aux | grep tmux
  kill -9 12345

?
[ Parent | on HN ]
Re:A Quick and Easy Guide to Tmux (2015) by alpaca128 on Wednesday October 30, 2019 @01:47AM (#21394981)
Yes, that is simple. Finding out the first time why it suddenly stopped updating the config - after it already worked multiple times minutes before that - is a different matter.
[ Parent | on HN ]
Re:A Quick and Easy Guide to Tmux (2015) by ljm on Tuesday October 29, 2019 @08:07PM (#21393429)
I prefer the nuclear option, which also gives you a bit of a gamble depending on your search string

    pgrep tmux | xargs kill -9
[ Parent | on HN ]
Re:A Quick and Easy Guide to Tmux (2015) by ryanianian on Tuesday October 29, 2019 @08:40PM (#21393583)
`pkill -9 tmux` (or `pkill -9 [t]mux` if you're doing it over ssh)
[ Parent | on HN ]