diff options
Diffstat (limited to 'bin/web')
-rwxr-xr-x | bin/web | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/web b/bin/web deleted file mode 100755 index f8484c0..0000000 --- a/bin/web +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh -set -eu -set -o pipefail - -version="$(python -c "import sys; print(sys.version_info[0])")" -if [ "$version" = "2" ]; then - server=SimpleHTTPServer -else - server=http.server -fi -exec python -m "$server" "${1:-8000}" |