Tagged “shell”

1. 2013 Aug 30 kill -WINCH $$ to fix bash prompt wrapping to the same line