diff options
author | Raghuram Subramani <raghus2247@gmail.com> | 2024-12-06 19:26:32 +0530 |
---|---|---|
committer | Raghuram Subramani <raghus2247@gmail.com> | 2024-12-06 19:26:32 +0530 |
commit | 9d5709062681e6d01a289e8f16a6442cbbc66c1b (patch) | |
tree | 8d0447a05f377bd2eeee183b5463e1f435e80f84 | |
parent | c40051893cb3741c6d95a2a47a059b78c6389c42 (diff) |
update
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | lineage/.repo/local_manifests/personal.xml (renamed from src/.repo/local_manifests/personal.xml) | 0 | ||||
-rwxr-xr-x | run.sh | 7 |
3 files changed, 9 insertions, 2 deletions
@@ -1 +1,3 @@ -src/* +lineage/* +*/* +out/* diff --git a/src/.repo/local_manifests/personal.xml b/lineage/.repo/local_manifests/personal.xml index 6ed95bd..6ed95bd 100644 --- a/src/.repo/local_manifests/personal.xml +++ b/lineage/.repo/local_manifests/personal.xml @@ -1,5 +1,10 @@ #!/usr/bin/env bash +if [ -z "$1" ]; then + echo "Usage: $0 [directory]" + exit +fi + user=compromyse -docker run -it --rm -v "$(pwd)/src:/home/$user/src" -v "$HOME/.ssh:/home/$user/.ssh" lineage +docker run -it --rm -v "$(pwd)/$1:/home/$user/src" -v "$HOME/.ssh:/home/$user/.ssh" lineage |