آخر نشاط 1 month ago

mila عدّل هذا المقطع 2 years ago. الانتقال إلى التعديل

1 file changed, 5 insertions, 5 deletions

cue-mod-switch.sh

@@ -2,7 +2,7 @@
2 2
3 3 set -euo pipefail
4 4
5 - MODULE_DIR=$HOME/workspace/cue-workspace/publish
5 + CUE_MODULES_DIR=$HOME/workspace/cue-workspace/publish
6 6
7 7 switch_to_pkg() {
8 8 startdir=$PWD
@@ -12,7 +12,7 @@ switch_to_pkg() {
12 12 mod=$(basename "$name")
13 13 mkdir -vp "cue.mod/pkg/$dir"
14 14 cd "cue.mod/pkg/$dir"
15 - ln -vs "$MODULE_DIR/$mod" .
15 + ln -vs "$CUE_MODULES_DIR/$mod" .
16 16 cd "$startdir"
17 17 cue mod edit --drop-require "$dep"
18 18 done
@@ -33,8 +33,8 @@ main() {
33 33 exit
34 34 fi
35 35
36 - if [[ ! -d "$MODULE_DIR/libmcs" ]]; then
37 - echo "MODULE_DIR/libmcs not found"
36 + if [[ ! -d "$CUE_MODULES_DIR/libmcs" ]]; then
37 + echo "CUE_MODULES_DIR/libmcs not found"
38 38 exit
39 39 fi
40 40
@@ -43,7 +43,7 @@ main() {
43 43 switch_to_registry
44 44 exit
45 45 else
46 - echo "switch to pkg"
46 + echo "switch to pkg directory"
47 47 switch_to_pkg
48 48 exit
49 49 fi

mila عدّل هذا المقطع 2 years ago. الانتقال إلى التعديل

1 file changed, 6 insertions, 5 deletions

cue-mod-switch.sh

@@ -2,14 +2,17 @@
2 2
3 3 set -euo pipefail
4 4
5 + MODULE_DIR=$HOME/workspace/cue-workspace/publish
6 +
5 7 switch_to_pkg() {
8 + startdir=$PWD
6 9 for dep in $(cue export -e deps cue.mod/module.cue | yq -o tsv '. | keys'); do
7 10 name=$(echo "$dep" | cut -d@ -f1)
8 11 dir=$(dirname "$name")
9 12 mod=$(basename "$name")
10 13 mkdir -vp "cue.mod/pkg/$dir"
11 14 cd "cue.mod/pkg/$dir"
12 - ln -vs "$moduledir/$mod" .
15 + ln -vs "$MODULE_DIR/$mod" .
13 16 cd "$startdir"
14 17 cue mod edit --drop-require "$dep"
15 18 done
@@ -24,16 +27,14 @@ switch_to_registry() {
24 27 }
25 28
26 29 main() {
27 - moduledir=/home/mlangner/workspace/cue-workspace/publish
28 - startdir=$PWD
29 30
30 31 if [[ ! -d cue.mod ]]; then
31 32 echo "cue.mod not found"
32 33 exit
33 34 fi
34 35
35 - if [[ ! -d "$moduledir/libmcs" ]]; then
36 - echo "moduledir/libmcs not found"
36 + if [[ ! -d "$MODULE_DIR/libmcs" ]]; then
37 + echo "MODULE_DIR/libmcs not found"
37 38 exit
38 39 fi
39 40

mila عدّل هذا المقطع 2 years ago. الانتقال إلى التعديل

1 file changed, 51 insertions

cue-mod-switch.sh(تم إنشاء الملف)

@@ -0,0 +1,51 @@
1 + #!/bin/bash
2 +
3 + set -euo pipefail
4 +
5 + switch_to_pkg() {
6 + for dep in $(cue export -e deps cue.mod/module.cue | yq -o tsv '. | keys'); do
7 + name=$(echo "$dep" | cut -d@ -f1)
8 + dir=$(dirname "$name")
9 + mod=$(basename "$name")
10 + mkdir -vp "cue.mod/pkg/$dir"
11 + cd "cue.mod/pkg/$dir"
12 + ln -vs "$moduledir/$mod" .
13 + cd "$startdir"
14 + cue mod edit --drop-require "$dep"
15 + done
16 + echo "done"
17 + }
18 +
19 + switch_to_registry() {
20 + rm -rfv cue.mod/pkg
21 + echo "cue mod tidy"
22 + cue mod tidy
23 + echo "done"
24 + }
25 +
26 + main() {
27 + moduledir=/home/mlangner/workspace/cue-workspace/publish
28 + startdir=$PWD
29 +
30 + if [[ ! -d cue.mod ]]; then
31 + echo "cue.mod not found"
32 + exit
33 + fi
34 +
35 + if [[ ! -d "$moduledir/libmcs" ]]; then
36 + echo "moduledir/libmcs not found"
37 + exit
38 + fi
39 +
40 + if [[ -d cue.mod/pkg ]]; then
41 + echo "switch to registry"
42 + switch_to_registry
43 + exit
44 + else
45 + echo "switch to pkg"
46 + switch_to_pkg
47 + exit
48 + fi
49 + }
50 +
51 + main
أحدث أقدم