diff options
Diffstat (limited to 'scripts/make_lnk.sh')
| -rw-r--r-- | scripts/make_lnk.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/scripts/make_lnk.sh b/scripts/make_lnk.sh new file mode 100644 index 0000000..3b52b97 --- /dev/null +++ b/scripts/make_lnk.sh @@ -0,0 +1,22 @@ +#!/bin/bash +script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" +cd "$(dirname "$0")" || exit 1 +deploy_sh="$script_dir/dev/deploy.sh" +dev_deploy_sh="$script_dir/dev/dev_deploy.sh" +parent_dir="$(dirname "$script_dir")" + +if [ -f "$deploy_sh" ]; then + link_path="$parent_dir/deploy" + if [ -e "$link_path" ]; then + rm -f "$link_path" + fi + ln -s "$deploy_sh" "$link_path" +fi + +if [ -f "$dev_deploy_sh" ]; then + link_path="$parent_dir/dev" + if [ -e "$link_path" ]; then + rm -f "$link_path" + fi + ln -s "$dev_deploy_sh" "$link_path" +fi |
