Update /etc/profile (again)

SliTaz-official · Jan 14, 2019 · 8d36b14 · 8d36b14
1 parent 2ab1855
commit 8d36b14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rootfs/etc/profile b/rootfs/etc/profile
@@ -80,5 +80,5 @@ popd() {
 
 command_not_found_handle() {
 	[ -x /bin/command_not_found ] && /bin/command_not_found "$@" ||
-		echo "$SHELL: $1: not found"
+		echo "${SHELL##*/}: $1: not found"
 }