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-10 11:51:37] 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 | ||
/docs/dokuwiki/data/attic/zsh.1599731497.txt.gz ยท Last modified: 2020-09-10 11:51:37 by mi
Page Tools
