Fix for non-interactive SSH sessions

Fix for non-interactive SSH sessions

[Ludovic Courtès]

FYI 9a10acc fixes a bug when running a non-interactive SSH session to a
GuixSD machine (running lshd), as in:

  ssh localhost uname

Before, this would result in “command not found” because $PATH would be
left uninitialized.  Now there’s a ha^W special trick in the .bashrc
skeleton to handle this use case:

  if [ -n "$SSH_CLIENT" -a -z "`type -P cat`" ]
  then
      # We are being invoked from a non-interactive SSH session
      # (as in "ssh host command") but 'cat' cannot be found
      # in $PATH.  Source /etc/profile so we get $PATH and other
      # essential variables.
      source /etc/profile
  fi

You may want to copy this to your ~/.bashrc.

Ludo’.