From d7f761bf1ff0630e29d9698e5b210d9a61e9804d Mon Sep 17 00:00:00 2001 From: Micke Nordin Date: Mon, 16 Dec 2024 10:44:16 +0100 Subject: [PATCH] Remove duplicate --- .local/bin/puppet-fix | 16 ---------------- .local/bin/puppet-languageserver | 3 --- 2 files changed, 19 deletions(-) delete mode 100755 .local/bin/puppet-fix delete mode 100755 .local/bin/puppet-languageserver diff --git a/.local/bin/puppet-fix b/.local/bin/puppet-fix deleted file mode 100755 index bae1925..0000000 --- a/.local/bin/puppet-fix +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -input=${1} -if [[ ${input} == "" ]]; then - input="-" -elif ! [[ -f ${input} ]]; then - echo "Usage: ${0} [puppet file]" - exit 1 -fi - -tempfile=$(mktemp) -cat "${input}" > "${tempfile}" -puppet-lint --fix "${tempfile}" > /dev/null 2>&1 -#puppet-lint --log-format "%{filename}:%{line}:%{column}: %{kind}: %{message}. [%{check}]" ${tempfile} | grep -v warning: -cat "${tempfile}" -rm "${tempfile}" diff --git a/.local/bin/puppet-languageserver b/.local/bin/puppet-languageserver deleted file mode 100755 index 676feb6..0000000 --- a/.local/bin/puppet-languageserver +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -cd /home/micke/sources/puppet-editor-services/ -ruby puppet-languageserver ${@}