sat_docs: docker/libervia_cont.sh annotate

annotate docker/libervia_cont.sh @ 37:2abfd0f6fd34

association: AG extraordinaire du 05/02/2015

author	souliane <souliane@mailoo.org>
date	Thu, 05 Feb 2015 11:46:12 +0100
parents	9ca1e7fe0f87
children	f5067e3112ba

rev	line source
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	1 #!/bin/sh
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	2
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	3 # Libervia container manager
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	4 # Copyright (C) 2014 Jérôme Poisson (goffi@goffi.org)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	5
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	6 # This program is free software: you can redistribute it and/or modify
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	7 # it under the terms of the GNU Affero General Public License as published by
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	8 # the Free Software Foundation, either version 3 of the License, or
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	9 # (at your option) any later version.
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	10
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	11 # This program is distributed in the hope that it will be useful,
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	14 # GNU Affero General Public License for more details.
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	15
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	16 # You should have received a copy of the GNU Affero General Public License
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	17 # along with this program. If not, see <http://www.gnu.org/licenses/>.
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	18
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	19 VERSION="0.2.0"
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	20 ACCOUNT="salutatoi"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	21
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	22 CONTAINERS="prosody sat_pubsub salut sat libervia"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	23
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	24 DETACH="-d"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	25 TERM="-ti"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	26
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	27 VOLUME_NAME="data"
f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	28 VOLUME_CONT="$ACCOUNT/$VOLUME_NAME"
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	29 VOLUME_ALIAS="sat_data"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	30 VOLUME="--volumes-from $VOLUME_ALIAS"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	31
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	32 PUBLIC=0
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	33
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	34 PROSODY_PORTS="5222 5269"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	35 PORT_5222_NAME="XMPP client to server"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	36 PORT_5269_NAME="XMPP server to server"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	37 SAT_PORTS="10143 10125 28915"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	38 PORT_10143_NAME="IMAP server"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	39 PORT_10125_NAME="SMTP server"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	40 PORT_28915_NAME="XMPP file transfer"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	41 LIBERVIA_PORTS="8080 8443"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	42 PORT_8080_NAME="HTTP"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	43 PORT_8443_NAME="HTTPS"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	44 NO_PORT="No public port"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	45
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	46 DOCKER_EXE="docker"
f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	47
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	48 USAGE="Usage: $0 [run\|stop\|update\|backup\|ports] [ARGS...]"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	49
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	50 HELP_SITE="http://wiki.goffi.org/wiki/Docker/en"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	51 HELP_MUC="sat@chat.jabberfr.org"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	52
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	53 get_dyn_var() {
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	54 # get dynamicly variable based on given name
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	55
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	56 name=$1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	57 var_type=$2
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	58 name_upp=$(echo "$name" \| tr '[:lower:]' '[:upper:]')
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	59 case $var_type in
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	60 ports) eval echo $(echo "\$${name_upp}_PORTS");;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	61 port_name) eval echo $(echo "\$PORT_${name_upp}_NAME");;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	62 esac
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	63 }
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	64
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	65 list_ports() {
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	66 # list used ports in currently running containers
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	67
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	68 for cont in $CONTAINERS; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	69 # we get variable name with uppercase container name
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	70 # some magic to get the ports
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	71 ports=$(get_dyn_var $cont ports)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	72
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	73 [ -n "$ports" ] && printf "== $cont ==\n\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	74
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	75 for port in $ports; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	76 # some magic to get port human readable name
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	77 port_name=$(get_dyn_var $port port_name)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	78 real_port=$(docker port $cont $port 2>&1)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	79 if [ $? -ne 0 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	80 real_port=$NO_PORT
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	81 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	82
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	83 # we now show the ports with nice alignment
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	84 desc="port $port ($port_name):"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	85 nb_tabs=$((5-${#desc}/8))
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	86 printf "$desc"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	87 for i in $(seq $nb_tabs); do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	88 printf "\t"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	89 done
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	90 printf "$real_port\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	91 done
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	92 [ -n "$ports" ] && printf '\n'
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	93 done
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	94 }
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	95
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	96 public_ports_arg() {
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	97 # create Docker arg to have public ports corresponding to container ports
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	98
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	99 if [ $PUBLIC -ne 1 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	100 return
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	101 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	102 cont=$1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	103 ports=$(get_dyn_var $cont ports)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	104 ARG=""
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	105 for port in $ports; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	106 ARG="$ARG -p $port:$port"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	107 done
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	108 echo $ARG
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	109 }
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	110
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	111 download_missing() {
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	112 # download images wich are not present locally
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	113 for cont in $CONTAINERS $VOLUME_NAME; do
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	114 image="$ACCOUNT/$cont"
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	115 docker inspect $image:latest > /dev/null 2>&1
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	116 if [ $? -ne 0 ]; then
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	117 printf "$image is not present locally, downloading it\n"
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	118 docker pull $image:latest
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	119 if [ $? -eq 0 ]; then
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	120 printf "\nDownload of latest $image finished\n\n"
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	121 else
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	122 printf "\nError while downloading $image, please check your connection and logs\n"
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	123 return 1
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	124 fi
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	125 fi
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	126 done
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	127 }
f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	128
f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	129 check_docker() {
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	130 which $DOCKER_EXE > /dev/null 2>&1
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	131 if [ $? -ne 0 ]; then
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	132 printf "Docker is not installed or not accessible, please install it.\nYou can check http://wiki.goffi.org/wiki/Docker/en for instructions\n"
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	133 return 1
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	134 fi
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	135 }
f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	136
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	137 parse_run_args() {
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	138 # manage arguments for run command
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	139
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	140 while [ $# -gt 0 ]; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	141 case "$1" in
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	142
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	143 -h\|--help)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	144 cat << OPT_END
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	145 options available for the run command:
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	146
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	147 -h, --help display this help message
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	148 -p, --public publish using true ports
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	149 -d DOMAIN, --domain DOMAIN use DOMAIN as domain name
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	150 OPT_END
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	151 exit 0
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	152 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	153
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	154 -d\|--domain)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	155 shift
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	156 if [ $# -eq 0 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	157 printf "no domain given, --domain must be followed by a domain\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	158 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	159 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	160 DOMAIN=$1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	161 shift
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	162 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	163
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	164 -p\|--public)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	165 shift
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	166 PUBLIC=1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	167 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	168
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	169 *) printf "Invalid argument, please check \"$0 run --help\"\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	170 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	171 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	172 esac
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	173 done
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	174 }
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	175
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	176 check_docker \|\| exit 1
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	177
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	178 if [ $# -ge 1 ];then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	179 case $1 in
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	180 run) CMD=RUN;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	181 stop) CMD=STOP;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	182 update) CMD=UPDATE;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	183 backup) CMD=BACKUP;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	184 ports) CMD=PORTS;;
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	185 -v\|--version) printf "$VERSION\n"; exit 0;;
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	186 -h\|--help) printf "$USAGE\n\nYou can check $HELP_SITE for instructions, or go to $HELP_MUC XMPP MUC room for help\n"; exit 0;;
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	187 *) echo $USAGE
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	188 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	189 esac
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	190 shift
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	191 else
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	192 CMD=RUN
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	193 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	194
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	195 case $CMD in
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	196 RUN)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	197 parse_run_args "$@"
24 f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	198 download_missing \|\| exit 1
f0a59c8f3490 docker: added docker presence check + if image are not present locally on run, download them without catching the output (so we can se the progress) Goffi <goffi@goffi.org> parents: 23 diff changeset	199
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	200 printf "Running data container... "
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	201 docker_id=$(docker run -d -ti --name $VOLUME_ALIAS $VOLUME_CONT 2>&1)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	202 if [ $? -eq 0 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	203 printf "OK ($docker_id)\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	204 else
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	205 echo $docker_id \| grep Conflict > /dev/null 2>&1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	206 if [ $? -eq 0 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	207 printf "A data container already exists ($VOLUME_ALIAS), use \"docker ps -a\" to see it\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	208 else
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	209 printf "Error, please check data volume\nerror message: $docker_id\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	210 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	211 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	212 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	213 printf "\nRunning Libervia\n\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	214 for CONT in $CONTAINERS; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	215 case $CONT in
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	216 prosody) OPTS="$DETACH $TERM $VOLUME $(public_ports_arg $CONT) --name prosody"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	217 if [ -n "$DOMAIN" ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	218 OPTS="-e DOMAIN=$DOMAIN $OPTS"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	219 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	220 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	221 sat_pubsub) OPTS="$DETACH $TERM $VOLUME --name sat_pubsub --link=prosody:prosody";;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	222 salut) OPTS="$DETACH $TERM $VOLUME --name salut --link=prosody:prosody";;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	223 sat) OPTS="$DETACH $TERM $VOLUME -P $(public_ports_arg $CONT) --name sat --link=prosody:prosody";;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	224 libervia) OPTS="$DETACH $TERM $VOLUME --volumes-from sat -P $(public_ports_arg $CONT) --name libervia --link=sat:sat";;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	225 *) printf "Unkown container $CONT\n"; exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	226 esac
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	227 printf "Launching $CONT... "
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	228 docker_id=$(docker run $OPTS $ACCOUNT/$CONT 2>&1)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	229 if [ $? -eq 0 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	230 printf "OK ($docker_id)\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	231 else
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	232 printf "Error, please check container or ask help on XMPP MUC sat@chat.jabberfr.org\nerror message: $docker_id\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	233 printf "Abandon\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	234 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	235 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	236 done
26 a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	237 printf '\nLibervia is launched and should be reachable in a couple of seconds.\nYou can check logs with "docker logs libervia" (or any other container name).\n'
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	238 printf "An \"admin\" account has been created, you can check its password on $VOLUME_ALIAS container, in file /home/sat/ADMIN_PWD. Config can be tuned on this container.\n"
a5e4c6c2a37d docker: replaces tabs by spaces, download first app containers then data container + minor changes Goffi <goffi@goffi.org> parents: 25 diff changeset	239 printf 'Below are the ports used to connect, you can go with your browser to Libervia HTTP port.\n\n'
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	240 list_ports
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	241 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	242 STOP)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	243 printf "stopping Libervia\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	244 REVERSED=""
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	245 for CONT in $CONTAINERS; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	246 REVERSED="$CONT $REVERSED"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	247 done;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	248 for CONT in $REVERSED; do
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	249 printf "\nStopping container $CONT"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	250 docker stop $CONT > /dev/null 2>&1 \|\| printf "... Error while stopping $CONT\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	251 printf "\rDeleting container $CONT"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	252 docker rm $CONT > /dev/null 2>&1 \|\| printf "... Error while removing $CONT\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	253 done
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	254 printf "\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	255 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	256 UPDATE)
28 9ca1e7fe0f87 Docker: we update images, not containers Goffi <goffi@goffi.org> parents: 26 diff changeset	257 printf "updating images...\n"
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	258 errors=0
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	259 for CONT in $CONTAINERS data; do
25 25b7452c2d5a docker: "docker pull" result is not hidden anymore in libervia_cons.sh update, so download progress can be followed Goffi <goffi@goffi.org> parents: 24 diff changeset	260 printf "\n* updating $CONT *\n"
25b7452c2d5a docker: "docker pull" result is not hidden anymore in libervia_cons.sh update, so download progress can be followed Goffi <goffi@goffi.org> parents: 24 diff changeset	261 docker pull $ACCOUNT/$CONT:latest
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	262 if [ $? -ne 0 ]; then
25 25b7452c2d5a docker: "docker pull" result is not hidden anymore in libervia_cons.sh update, so download progress can be followed Goffi <goffi@goffi.org> parents: 24 diff changeset	263 printf "\nError while updating $ACCOUNT/$CONT\n"
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	264 errors=1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	265 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	266 done
23 b10f01885949 docker: fixed libervia_cont update + added some newlines Goffi <goffi@goffi.org> parents: 22 diff changeset	267 if [ $errors -eq 0 ]; then
28 9ca1e7fe0f87 Docker: we update images, not containers Goffi <goffi@goffi.org> parents: 26 diff changeset	268 printf "\n\nImages are up-to-date\n"
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	269 else
28 9ca1e7fe0f87 Docker: we update images, not containers Goffi <goffi@goffi.org> parents: 26 diff changeset	270 printf "\n\nSome errors happened while updating images\n"
21 0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	271 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	272 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	273 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	274 BACKUP)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	275 filename="sat_data_backup_$(date '+%Y-%m-%d_%H:%M:%S').tar.gz"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	276 printf "backing up data container to $filename\n\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	277 docker run --rm --volumes-from sat_data -v $(pwd):/backup debian:jessie tar zcvf /backup/$filename -C / -h volumes
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	278 if [ $? -eq 0 ]; then
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	279 printf "\nBackup finished\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	280 else
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	281 printf "\nBackup Error !\n"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	282 exit 1
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	283 fi
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	284 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	285 PORTS)
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	286 list_ports
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	287 ;;
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	288 *) printf "Error: unknown command !"
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	289 exit 2
0e78c8a4626e Added Dockerfiles to create Docker images for easy installation + scripts to manages them. see README for details. Goffi <goffi@goffi.org> parents: diff changeset	290 esac

Mercurial > sat_docs

annotate docker/libervia_cont.sh @ 37:2abfd0f6fd34