Skip to content
Snippets Groups Projects
Select Git revision
  • 80c6f422c738ccaf8be3472c2fa149e9bcc250f6
  • master default protected
  • next_version
3 results

rapports.md

Blame
  • push_subtrees.sh NaN GiB
    #!/bin/bash
    #
    #
    # 	Envoie les modifications de l'application sur les modules
    #
    #
    
    if [ `whoami` == "root" ]; then
        echo "Please, do not run this script as sudo"
    else
        cd utils/
        ./push_subtrees.sh
    fi