diff options
Diffstat (limited to '')
| -rwxr-xr-x | pkgs/by-name/gi/git-edit-index/git-edit-index.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/by-name/gi/git-edit-index/git-edit-index.sh b/pkgs/by-name/gi/git-edit-index/git-edit-index.sh index 94a8d4a4..46fbc9c5 100755 --- a/pkgs/by-name/gi/git-edit-index/git-edit-index.sh +++ b/pkgs/by-name/gi/git-edit-index/git-edit-index.sh @@ -1,5 +1,15 @@ #!/usr/bin/env dash +# nixos-config - My current NixOS configuration +# +# Copyright (C) 2025 Benedikt Peetz <benedikt.peetz@b-peetz.de> +# SPDX-License-Identifier: GPL-3.0-or-later +# +# This file is part of my nixos-config. +# +# You should have received a copy of the License along with this program. +# If not, see <https://www.gnu.org/licenses/gpl-3.0.txt>. + NAME="git-edit-index" warn() { @@ -68,6 +78,7 @@ edit() { fi } +end_of_cli_options=false for arg in "$@"; do case "$arg" in "--help" | "-h") |