From 9220466561fce5a42111552a9acdc0d0fa28ad61 Mon Sep 17 00:00:00 2001 From: mrfry Date: Wed, 26 Apr 2023 18:44:48 +0200 Subject: [PATCH] removed make.sh --- make.sh | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100755 make.sh diff --git a/make.sh b/make.sh deleted file mode 100755 index 169f61d..0000000 --- a/make.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh -scriptPath=$(dirname -- "${0}") -domainPath="${scriptPath}/../../data/domain" -userscriptPath="./user.js" -resultUserscriptPath="./stable.user.js" - -domain="${DOMAIN}" - -if [ -z "${domain}" ] && [ -f "${domainPath}" ]; then - domain=$(cat "${domainPath}") -fi - -if [ -z "${domain}" ]; then - printf "\033[0;41mDOMAIN is not set, and %s does not exist!\033[0m\n" "${domainPath}" - exit 1 -fi - -if [ ! -f "${userscriptPath}" ]; then - printf "\033[0;41m%s does not exist!\033[0m\n" "${userscriptPath}" - exit 1 -fi - -sed "s/\[DOMAIN\]/${domain}/g" "${userscriptPath}" > "${resultUserscriptPath}" - -echo "Exported with domain: '${domain}' to '${resultUserscriptPath}'"