From 909bb56b4c5d1a0be53d045724f47b5812d1ea90 Mon Sep 17 00:00:00 2001 From: tastytea Date: Sun, 17 Jul 2022 01:32:20 +0200 Subject: [PATCH] Zsh: add alert alias --- .config/zsh/aliases.zsh | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.config/zsh/aliases.zsh b/.config/zsh/aliases.zsh index 7338004..028a1ec 100644 --- a/.config/zsh/aliases.zsh +++ b/.config/zsh/aliases.zsh @@ -72,17 +72,19 @@ alias lessf='LESSOPEN="" less +F' alias cp='cp --reflink=auto --preserve=all' alias mv='nocorrect mv' alias mkdir='nocorrect mkdir' +alias cat='cat-highlight' alias ip='ip -color -brief' # Add --accept=".jpg,.png" or whatever. alias wget_leech='wget --no-directories --page-requisites --span-hosts' -alias cat='cat-highlight' - -alias machklein='mksmol' alias diff='diff --color=auto' +alias alert='print -n "\a"' + +# deprecated +alias machklein='mksmol' # OS specific settings. if [[ -f /etc/gentoo-release ]]; then