From 380cbba210dc26b657d08357681172f1f9e27f70 Mon Sep 17 00:00:00 2001 From: dezeyer Date: Sat, 11 May 2019 14:29:06 +0000 Subject: [PATCH] not needed anymore --- run-autopep8-docker.sh | 12 ------------ run-pylint-docker.sh | 12 ------------ run-python-docker.sh | 12 ------------ 3 files changed, 36 deletions(-) delete mode 100755 run-autopep8-docker.sh delete mode 100755 run-pylint-docker.sh delete mode 100755 run-python-docker.sh diff --git a/run-autopep8-docker.sh b/run-autopep8-docker.sh deleted file mode 100755 index 32810d8..0000000 --- a/run-autopep8-docker.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -docker run \ - --rm \ - -i \ - --network=host \ - -v "$HOME":"$HOME":ro \ - -u $(id -u) \ - -w "$PWD" \ - unibeautify/autopep8 \ - $@ - -exit $? \ No newline at end of file diff --git a/run-pylint-docker.sh b/run-pylint-docker.sh deleted file mode 100755 index 747b1e2..0000000 --- a/run-pylint-docker.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -docker run \ - --rm \ - -i \ - --network=host \ - -v "$HOME":"$HOME":ro \ - -u $(id -u) \ - -w "$PWD" \ - devel:latest \ - pylint $@ - -exit $? \ No newline at end of file diff --git a/run-python-docker.sh b/run-python-docker.sh deleted file mode 100755 index d0327d2..0000000 --- a/run-python-docker.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh -docker run \ - --rm \ - -i \ - --network="host" \ - -v "$HOME":"$HOME":ro \ - -u $(id -u) \ - -w "$PWD" \ - devel:latest \ - python3.7 -u $@ - -exit $? \ No newline at end of file