From 788e400b4235a5331dd17f2ff26a779f961a06f5 Mon Sep 17 00:00:00 2001
From: finga <finga@onders.org>
Date: Thu, 14 Dec 2023 13:00:32 +0100
Subject: [PATCH] alias: Remove ping alias

---
 .zshenv | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.zshenv b/.zshenv
index fe51033..1c650bd 100644
--- a/.zshenv
+++ b/.zshenv
@@ -17,7 +17,6 @@ alias grep='grep --color=always -n'
 alias rg='rg_bat() {rg -n -p $@ | bat};rg_bat'
 alias diff='diff --color=always'
 alias mkdir='mkdir -p -v'
-alias ping='ping -c 10'
 alias ls='ls --color=auto -h -l'
 alias df='df -h'
 alias em='emacsclient -t -a ""'