Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit bc99ec69 authored by faquin's avatar faquin
Browse files

Remove .* extension for folders

I guess, majority of people are not renaming their git folders with a
.git extension. So, I prefer to let the default naming of the repo.
parent 25e17f63
......@@ -7,11 +7,11 @@ apt-get update
apt-get install -y taktuk python3 python3-zmq python3-pexpect python3-setuptools python3-pip
# install main repo
cd /yggdrasil/yggdrasil.*
cd /yggdrasil/yggdrasil
pip3 install -e .
# user libraries
cd /yggdrasil/yggdrasil-c.*/c_wrapper
cd /yggdrasil/yggdrasil-c/c_wrapper
cp ./install/include/* /usr/include/
cp ./install/lib/* /usr/lib/
......@@ -30,7 +30,7 @@ SCRIPT
$userconfig = <<SCRIPT
# ssh config
cd /yggdrasil/yggdrasil-integration.*
cd /yggdrasil/yggdrasil-integration
cat ssh/id_rsa.pub >> ~/.ssh/authorized_keys
cp ssh/id_rsa* ~/.ssh/
cp ssh/config ~/.ssh/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment