zsh
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
zsh [2020-09-08 22:30:32] mi |
zsh [2022-05-20 00:58:20] (current) mi |
||
|---|---|---|---|
| Line 35: | Line 35: | ||
| setopt NO_CASE_GLOB | setopt NO_CASE_GLOB | ||
| setopt GLOB_COMPLETE | setopt GLOB_COMPLETE | ||
| + | |||
| + | * Allow comments in interactive shells | ||
| + | |||
| + | setopt interactive_comments | ||
| + | # or | ||
| + | set -k | ||
| + | # or | ||
| + | echo "setopt INTERACTIVE_COMMENTS" >> ~/.zshrc | ||
| + | # or | ||
| + | echo "setopt INTERACTIVE_COMMENTS" | sudo tee -a /etc/zshrc | ||
| + | |||
| + | * fix Ctrl-U to delete left | ||
| + | |||
| + | echo 'bindkey \^U backward-kill-line' >> ~/.zshrc | ||
| + | |||
| + | |||
| + | Also try this? (https://superuser.com/questions/187639/zsh-not-hitting-profile) : | ||
| + | |||
| + | [[ -e ~/.profile ]] && emulate sh -c 'source ~/.profile' | ||
/docs/dokuwiki/data/attic/zsh.1599597032.txt.gz ยท Last modified: 2020-09-08 22:30:32 by mi
Page Tools
