Commit f9ae8188 authored by Holger Levsen's avatar Holger Levsen
Browse files

reproducible Debian: use "cat | sudo tee" instead of "sudo cat"

parent c5b38ef7
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -631,7 +631,7 @@ else
	sudo cp jenkins-nodes-home/authorized_keys /var/lib/jenkins/.ssh/authorized_keys
fi
if [ -f jenkins-nodes-home/authorized_keys.$HOSTNAME ] ; then
	sudo cat jenkins-nodes-home/authorized_keys.$HOSTNAME >> /var/lib/jenkins/.ssh/authorized_keys
	cat jenkins-nodes-home/authorized_keys.$HOSTNAME | sudo tee -a /var/lib/jenkins/.ssh/authorized_keys
fi
sudo -u jenkins cp jenkins-home/ssh_config.in /var/lib/jenkins/.ssh/config
nodes/gen_ssh_config | sudo -u jenkins tee -a /var/lib/jenkins/.ssh/config > /dev/null