From fc3b641f902dff893b4443bd27d171a13dbd0036 Mon Sep 17 00:00:00 2001 From: Marco Date: Tue, 21 Dec 2021 12:07:36 +0000 Subject: [PATCH] Update kiri On my WSL2 installation, `/proc/version` prints out `Linux version 5.4.72-microsoft-standard-WSL2 (oe-user@oe-host) (gcc version 8.2.0 (GCC)) #1 SMP Wed Oct 28 23:40:43 UTC 2020`, so i made grep case-insensitive, to be able to correctly identify my machine being a WSL machine --- bin/kiri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/kiri b/bin/kiri index 2e48742..2c7af5c 100755 --- a/bin/kiri +++ b/bin/kiri @@ -1197,7 +1197,7 @@ if [[ ${ARCHIVE} == 1 ]]; then fi if [[ "${LAUNCH_BROWSER}" != 0 ]]; then - if grep -q "Microsoft" "/proc/version" &> /dev/null; then + if grep -i -q "Microsoft" "/proc/version" &> /dev/null; then # Webserver alternative for Windows with WSL host=127.0.0.1 if [[ "${WEBSERVER_PORT}" == "" ]]; then