Recherche

Résultats plein texte:

config_ubuntu_server_rpi3

12 Occurrences trouvées, Dernière modification : il y a 5 semaines

ezone on your Ubuntu System]] * ls -l /etc/localtime * timedatectl * sudo unlink /etc/localtime * sudo ln -s /usr/share/zoneinfo/Europe/Brussels /etc/localtime * ls -l /etc/localtime * timedatectl ==== Installation type sur un serveur LA(M)P : DokuWiki =====

config_xubuntu

2 Occurrences trouvées, Dernière modification : il y a 4 mois

: sudo apt-get install kmag kaffeine * java runtime (11) : sudo apt install default-jre * [[https:/... .com/questions/28870445/unison-preserve-directory-time]] * [[http://blog.philippklaus.de/2010/02/syn

unison

2 Occurrences trouvées, Dernière modification : il y a 6 mois

.com/questions/28870445/unison-preserve-directory-time|timestamp - Unison preserve directory time - Stack Overflow]] * [[https://stackoverflow.com/questio

bash_scripts

1 Occurrences trouvées, Dernière modification : il y a 12 mois

urs à 10 jours find "$backup_directory" -type f -mtime +10 -exec rm {} \; # Créer un répertoire pour la

dokuwiki_extensions

1 Occurrences trouvées, Dernière modification : il y a 11 mois

s a list of available helper plugins. ~~INFO:datetime~~ ~~INFO:syntaxplugins~~ ~~INFO:adminplugins~~ ~

linux

1 Occurrences trouvées, Dernière modification : il y a 2 semaines

rstand how shell scripting works to save yourself time and reduce bugs, Medium, 06/03/2020 Jasmine Humbe