@@ -74,12 +74,13 @@ trap 'echo "$program($LINENO): Command failed with error code $? ([$$] $0 $*)";
7474# Option parsing
7575
7676# Options
77- shortopts=dhi:m:r :t:vVu:
78- longopts=download-data,help,ietfdb-url=,mysqldata=,docker-repo=,tag=,verbose,version,user=,
77+ shortopts=dhi:m:Mr :t:vVu:
78+ longopts=download-data,help,ietfdb-url=,mysqldata=,no-mysqldir, docker-repo=,tag=,verbose,version,user=,
7979
8080# Default values
81- TAG=$( basename $( svn info --show-item url $parent ) )
81+ TAG=$( basename $( svn info $parent | grep ^URL | awk ' {print $2} ' ) )
8282REPO=" levkowetz/datatracker"
83+ NOMYMAP=" "
8384
8485if [ " $( uname) " = " Linux" ]; then
8586 args=$( getopt -o " $shortopts " --long " $longopts " -n ' $program' -- $SV " $@ " )
@@ -100,6 +101,7 @@ while true ; do
100101 -h| --help) usage; exit ;; # Show this help, then exit
101102 -i| --ietfdb-url) URL=$2 ; shift ;; # Use an alternative database tarball URL
102103 -m| --mysqldir) MYSQLDIR=$2 ; shift ;; # Set the desired location for MySQL's database files
104+ -M| --no-mysqldir) NOMYMAP=1;; # Don't map the mysql dir to an external dir
103105 -r| --docker-repo) REPO=$2 ; shift ;; # Use the given docker repository, instead of the default
104106 -t| --tag) TAG=$2 ; shift ;; # Use this docker image tag, instead of the svn branch name
105107 -u| --user) WHO=$2 ; shift ;; # Run the container as the specified user
142144
143145
144146echo " "
145- echo " Starting a docker container for '$TAG ' .. ."
147+ echo " Starting a docker container for '$TAG '."
146148
147149docker ps | grep -q $REPO :$TAG && die \
148150" It seems that another docker container is already running the
@@ -173,7 +175,11 @@ if ! docker images $REPO | grep -q $TAG; then
173175 fi
174176fi
175177
176- docker run -ti -p 8000:8000 -v $HOME :/home/$WHO -v $MYSQLDIR :/var/lib/mysql -e USER=$WHO -e DATADIR=${parent# $HOME / } /data -e CWD=${PWD# $HOME / } $REPO :$TAG
178+ if [ -n " $NOMYMAP " ]; then
179+ docker run -ti -p 8000:8000 -v $HOME :/home/$WHO -e USER=$WHO -e DATADIR=${parent# $HOME / } /data -e CWD=${PWD# $HOME / } -e TAG=$TAG $REPO :$TAG
180+ else
181+ docker run -ti -p 8000:8000 -v $HOME :/home/$WHO -v $MYSQLDIR :/var/lib/mysql -e USER=$WHO -e DATADIR=${parent# $HOME / } /data -e CWD=${PWD# $HOME / } -e TAG=$TAG $REPO :$TAG
182+ fi
177183
178184echo " "
179185echo " Committing changes in the container to an image:"
0 commit comments