010-subshell.patch 568 B

1234567891011
  1. --- a/src/subshell/common.c
  2. +++ b/src/subshell/common.c
  3. @@ -849,7 +849,7 @@ init_subshell_precmd (char *precmd, size
  4. "else "
  5. "[ \"${PWD##$HOME/}\" = \"$PWD\" ] && MC_PWD=\"$PWD\" || MC_PWD=\"~/${PWD##$HOME/}\"; "
  6. "fi; "
  7. - "echo \"$USER@$(hostname -s):$MC_PWD\"; "
  8. + "echo \"$USER@$HOSTNAME:$MC_PWD\"; "
  9. "pwd>&%d; "
  10. "kill -STOP $$; "
  11. "}; " "PRECMD=precmd; " "PS1='$($PRECMD)$ '\n", subshell_pipe[WRITE]);