From 3631885f122edc0b488cf1b81134b42580758308 Mon Sep 17 00:00:00 2001 From: 1138-4EB <1138-4EB@users.noreply.github.com> Date: Wed, 2 Jan 2019 13:47:37 +0100 Subject: [PATCH] rm run_linters.sh, as it is included in wizard.sh --- .ci/run_linters.sh | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 .ci/run_linters.sh diff --git a/.ci/run_linters.sh b/.ci/run_linters.sh deleted file mode 100755 index cef68670..00000000 --- a/.ci/run_linters.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -set -e - -cd $(dirname $0)/.. - -if [ "$USE_DOCKER" != "" ]; then - $(command -v winpty) docker run --rm -itv "/$(pwd)://src" -w "//src" filebrowser/dev sh -c "\ - go get -v ./... && \ - golangci-lint run -v" -else - golangci-lint run -v -fi