plietar

#!/bin/bash
set -e

DOKKU_ROOT=/home/dokku
GIT_HOME=/home/git

# Old repo files of when PPAs were used. Remove them
rm -f /etc/apt/sources.list.d/dotcloud-lxc-docker-raring.list*

# Stop and get rid of the nginx-reload daemon if it the user is upgrading from and old version (pre PR #262)

plietar

#!/usr/bin/env bash

if [[ -t 0 ]]; then
    ssh -t $@
else
    ssh -T $@
fi

plietar

#!/bin/bash
set -eu

# La ou est installé stechec
prefix="/usr/"

# Default values
map="$prefix/share/stechec/prolo2011/maps/map1"
repo=$(pwd)