From f6ce763e40f8d4fa8e48ae96e406694581ae4165 Mon Sep 17 00:00:00 2001 From: Mastermindzh Date: Thu, 27 Apr 2023 10:38:26 +0200 Subject: [PATCH] fix: grep now uses case insensitivity by default () --- bash/.alias.sh | 1 + computers/dev-pc/xprofile.sh | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/bash/.alias.sh b/bash/.alias.sh index 56b9584..73a1ac2 100644 --- a/bash/.alias.sh +++ b/bash/.alias.sh @@ -114,6 +114,7 @@ alias cal='cal -mw --color' alias chrome='google-chrome-stable' alias teams='teams-insiders --disable-seccomp-filter-sandbox' alias cat='bat' +alias grep='grep -i' ## command overrides df() { diff --git a/computers/dev-pc/xprofile.sh b/computers/dev-pc/xprofile.sh index 9ba57d7..b35a2ae 100644 --- a/computers/dev-pc/xprofile.sh +++ b/computers/dev-pc/xprofile.sh @@ -2,4 +2,3 @@ export GDK_DPI_SCALE=1 export ELM_SCALE=1 export QT_AUTO_SCREEN_SCALE_FACTOR=1 -xrandr --output DVI-I-0 --off --output DVI-I-1 --off --output HDMI-0 --primary --mode 3840x2160 --pos 0x0 --rotate normal --output DP-0 --off --output DP-1 --off --output DVI-D-0 --off