diff options
| -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 |