From 678030afb2de7c6e8ec7c216e0f50e510a5f0c8d Mon Sep 17 00:00:00 2001 From: Mathieu Maret Date: Fri, 28 May 2021 12:18:50 +0200 Subject: [PATCH] zsh: add alias, rust in path, let dups in hist --- .zsh/00_basic.zsh | 2 +- .zsh/10_Environment.zsh | 2 +- .zsh/30_alias.zsh | 3 +++ 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.zsh/00_basic.zsh b/.zsh/00_basic.zsh index 3a95fbe..6010f75 100644 --- a/.zsh/00_basic.zsh +++ b/.zsh/00_basic.zsh @@ -12,7 +12,7 @@ setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits. #setopt SHARE_HISTORY # Share history between all sessions. setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history. -setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again. +#setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again. setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate. #setopt HIST_FIND_NO_DUPS # Do not display a line previously found. setopt HIST_IGNORE_SPACE # Don't record an entry starting with a space. diff --git a/.zsh/10_Environment.zsh b/.zsh/10_Environment.zsh index f10bed0..b26e362 100644 --- a/.zsh/10_Environment.zsh +++ b/.zsh/10_Environment.zsh @@ -28,4 +28,4 @@ if [[ -z "$BROWSER" ]] ; then fi fi -export PATH=$HOME/local/bin:$PATH +export PATH=$HOME/local/bin:$PATH:$HOME/.cargo/bin diff --git a/.zsh/30_alias.zsh b/.zsh/30_alias.zsh index 76a1428..19dc3a9 100644 --- a/.zsh/30_alias.zsh +++ b/.zsh/30_alias.zsh @@ -25,6 +25,9 @@ alias vimo='vim --servername vimserver --remote-tab' alias agrep='grep --exclude=.git --exclude-dir=out --exclude-dir=prebuilts --exclude-dir=docs --exclude=tags --exclude=cscope.out' alias beep='mpv /usr/share/sounds/freedesktop/stereo/complete.oga &> /dev/null &' #sound in package sound-theme-freedesktop alias gst="vim '+Gedit:' ." +alias lsempty='find . -depth -type d -empty' +alias rmempty='find . -depth -type d -empty -delete' +alias myip="curl -4 icanhazip.com" #Extension Alias alias -s html=$BROWSER