chore/update-momo-main-07-23 #237

Merged
teutat3s merged 67 commits from chore/update-momo-main-07-23 into momo/main 2023-07-15 01:08:45 +00:00
Showing only changes of commit b5ff01f703 - Show all commits

View file

@ -11,7 +11,7 @@ with self; ''
# Get shell command list
# This may include the occasional non-executable file
command_list=$({ whence -wm '*' | sed 's/:[^:]*$//' })
command_list=$({ compgen -c | sed 's/:[^:]*$//'; })
# read existing command history
if [ -f "$HIST_FILE" ]; then