Recherche

Résultats plein texte:

config_ubuntu_server_rpi3 @floss

17 Occurrences trouvées, Dernière modification : il y a 3 semaines

compatibilité avec 18.04) ==== Ajustement de la timezone ==== * réf : [[https://vitux.com/how-to-change-the-timezone-on-your-ubuntu-system/|How to Change the Timezone on your Ubuntu System]] * ls -l /etc/localtime * timedatectl * sudo unlink /etc/localtime *

test

3 Occurrences trouvées, Dernière modification : il y a 14 heures

: sudo apt-get install kmag kaffeine * java runtime (11) : sudo apt install default-jre * [[https:/... l standard * + questions particulières Unison - timestamp : * [[http://stackoverflow.com/questions/28870445/unison-preserve-directory-time]] * [[http://blog.philippklaus.de/2010/02/syn

linux @floss

1 Occurrences trouvées, Dernière modification : il y a 38 heures

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