From ac0422a9eb7ca9faae96566ca92a7e579d9a6437 Mon Sep 17 00:00:00 2001 From: Adam Stück Date: Thu, 4 May 2023 15:52:13 +0200 Subject: Drop unused scripts --- .local/bin/in-git-repo | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 .local/bin/in-git-repo (limited to '.local/bin/in-git-repo') diff --git a/.local/bin/in-git-repo b/.local/bin/in-git-repo deleted file mode 100755 index 0372e32..0000000 --- a/.local/bin/in-git-repo +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -res=$(git rev-parse --is-inside-work-tree 2>/dev/null) - -if [ "$res" = true ]; then - exit 0 -else - exit 1 -fi -- cgit v1.2.3-70-g09d2