Remove duplicate

main
Micke Nordin 5 days ago
parent 3d82852b05
commit d7f761bf1f

@ -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}"

@ -1,3 +0,0 @@
#!/bin/bash
cd /home/micke/sources/puppet-editor-services/
ruby puppet-languageserver ${@}
Loading…
Cancel
Save