# HG changeset patch # User Pascal Bellard # Date 1547458820 -3600 # Node ID 3b8ba0fadc4f4a20c78efa507ceebbcef1ae4d71 # Parent 777a5f5107c735ffb2c0455d362e43b63d7a49a5 Update /etc/profile (again) diff -r 777a5f5107c7 -r 3b8ba0fadc4f rootfs/etc/profile --- a/rootfs/etc/profile Mon Jan 14 10:21:20 2019 +0100 +++ b/rootfs/etc/profile Mon Jan 14 10:40:20 2019 +0100 @@ -80,5 +80,5 @@ command_not_found_handle() { [ -x /bin/command_not_found ] && /bin/command_not_found "$@" || - echo "$SHELL: $1: not found" + echo "${SHELL##*/}: $1: not found" }