diff --git a/scripts/integrate-distro.sh b/scripts/integrate-distro.sh index b6af081e..152ac5a1 100644 --- a/scripts/integrate-distro.sh +++ b/scripts/integrate-distro.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # -- defaults # install_dev=/dev/sdb @@ -1456,7 +1456,7 @@ if [ `whoami` != root -o "$l32" ]; then opts="" [ "$config_file" ] && opts="$opts --config-file $config_file" #debug="/bin/bash -x" - ssh -l root localhost $l32 $debug $exe $@ -p $root_password_file -u $scm_user -w $cwd $opt_ssh_auth_sock -P "$PATH" $opts + ssh -l root localhost $l32 $debug /bin/bash $exe $@ -p $root_password_file -u $scm_user -w $cwd $opt_ssh_auth_sock -P "$PATH" $opts exit $? fi