From f0c4ee4047f3b70241bacab712642437e37fad2f Mon Sep 17 00:00:00 2001
From: Junegunn Choi <junegunn.c@gmail.com>
Date: Wed, 24 Sep 2025 20:47:22 +0900
Subject: make lint: Perform bash script linting

---
 shell/update-common.sh | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 shell/update-common.sh

(limited to 'shell/update-common.sh')

diff --git a/shell/update-common.sh b/shell/update-common.sh
deleted file mode 100755
index 55905043..00000000
--- a/shell/update-common.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/sh
-
-# This script applies the contents of "common.sh" to the other files.
-
-set -e
-
-# Go to the directory that contains this script
-dir=${0%"${0##*/}"}
-if [ -n "$dir" ]; then
-  cd "$dir"
-fi
-
-update() {
-  {
-    sed -n '1,/^#----BEGIN INCLUDE common\.sh/p' "$1"
-    cat <<EOF
-# NOTE: Do not directly edit this section, which is copied from "common.sh".
-# To modify it, one can edit "common.sh" and run "./update-common.sh" to apply
-# the changes. See code comments in "common.sh" for the implementation details.
-EOF
-    grep -v '^[[:blank:]]*#' common.sh # remove code comments in common.sh
-    sed -n '/^#----END INCLUDE/,$p' "$1"
-  } > "$1.part"
-
-  mv -f "$1.part" "$1"
-}
-
-update completion.bash
-update completion.zsh
-update key-bindings.bash
-update key-bindings.zsh
-- 
cgit v1.2.3