Skip to content
Snippets Groups Projects
Normal view Permalink
down-with-dev.sh 120 B
Newer Older
  • Learn to ignore specific revisions
    • Tobias Kuhnert's avatar
    added script to start and stop the services for different configurations
    Tobias Kuhnert committed
    1 2 3 
    #!/usr/bin/env bash
DIR_SCRIPT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
    Tobias Kuhnert's avatar
    updated script with new base command  
    Tobias Kuhnert committed
    4 
    "${DIR_SCRIPT}/dc-with-dev.sh"  down

    A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog