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-08-16 20:39:06] mi |
zsh [2022-05-20 00:58:20] (current) mi |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| * History: | * History: | ||
| + | (See also https://unix.stackexchange.com/a/111777/7286) | ||
| HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history | HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history | ||
| Line 34: | 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.1597603146.txt.gz ยท Last modified: 2020-08-16 20:39:06 by mi
Page Tools
