diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-01-24 03:56:35 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-01-24 04:31:03 +0800 |
| commit | 4c77a05993d40c42ebe78c1d3a72f8049f360982 (patch) | |
| tree | 81df02103be28bc88c0ff89f1857852255bdb32c /scripts/make_lnk.sh | |
| parent | b32a021c2d5075303f5987e702c9df83e7c365e7 (diff) | |
Move deployment scripts to scripts/dev directory
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 |
