Que tal criar um script bash que use arrays para armazenar o PID e depois capturá-los e eliminá-los:
#!/bin/bash -e
ssh -L 2001:localhost:8888 -N myserver.com -p 443 &
PID[0]=$!
firefox -p "SSHProxy" &
PID[1]=$!
trap "kill ${PID[*]}" INT SIGINT
wait
Se você precisar usar uma senha, procure aqui sshpass
:
EDITAR:
Execute o script no terminal. Squeaky toy. Quando terminar de navegar, volte ao terminal e pressione Ctr-C
(INT / SIGINT) os processos devem ser limpos. Pareceu trabalhar para mim.