From 542aea6bc33655748484ce6b1345bb1b25712e31 Mon Sep 17 00:00:00 2001 From: ponkio-o <29038315+ponkio-o@users.noreply.github.com> Date: Wed, 8 May 2024 18:46:29 +0900 Subject: [PATCH] remove: removed unused script --- scripts/print-image-name | 46 ---------------------------------------- 1 file changed, 46 deletions(-) delete mode 100755 scripts/print-image-name diff --git a/scripts/print-image-name b/scripts/print-image-name deleted file mode 100755 index 2131325..0000000 --- a/scripts/print-image-name +++ /dev/null @@ -1,46 +0,0 @@ -#!/bin/bash -set -euo pipefail - -echo-stderr() { - local message="$*" - printf "%s\n" "$message" 1>&2 -} - - -throw() { - local message="$*" - echo-stderr "error: $message" - false -} - - -usage() { - cat - 1>&2 <<-EOS -usage: print-image-name < path/to/Dockerfile - -OPTIONS - -h, --help print this usage -EOS -} - - -usage-error() { - local message="$*" - echo-stderr "$message" - usage - false -} - - -main() { - cat - | grep -F '# image-name:' | head -1 | sed 's/# *image-name: *\(.*\)/\1/' -} - - -case "$*" in - --help | -h) - usage - false ;; - *) - main "$@" ;; -esac