Ctrl + C envia um SIGINT. Então, se você puder determinar o PID do processo que deseja sinalizar, você pode fazer kill -INT pid
antes do git pull
ou killall -INT processname
se quiser pará-los todos, supondo que seu killall
não se comporte como killall5
.
Quanto ao script do destacamento de uma sessão de tela, não faço ideia. Talvez alguém possa te ajudar lá.
EDIT: Ocorreu-me apenas que você não precisa fazer o script do destacamento ou mesmo fazer qualquer coisa com a tela. Basta executar algo assim dentro da tela:
while sleep 1; do
./some_program # which saves its PID to a pidfile
git pull
done
E então você pode executar isso a partir da tela externa, por cima do ssh:
kill -INT $(cat pidfile)
Se o seu processo não salvar um pidfile, você pode tentar usar o start-stop-daemon para fazer isso:
start-stop-daemon --start --exec ./some_program --pidfile pidfile --make-pidfile