Differences

This shows you the differences between two versions of the page.

--- debian:index [2017/12/08 18:25] – orel
+++ debian:index [2024/03/18 15:06] (current) – external edit 127.0.0.1
@@ Line 204: / Line 204: @@
   $ sudo apt-get install nautilus-dropbox   # avec GNOME
-Ou sinon :
+Ou sinon, https://www.dropbox.com/fr/install
+Pour exclure un répertoire de la synchro...
+  $ dropbox exclude add Archives
 Download the latest [[https://www.dropbox.com/fr/install | dropbox ]] debian package
@@ Line 229: / Line 233: @@
   $ wget https://atom.io/download/deb
   $ sudo gdebi atom-amd64.deb
+J'utilise les packages //linter// et //atom-beautify//...
 === Bash ===
@@ Line 280: / Line 286: @@
 === Eduroam ===
- * Sécurité WiFi : WPA/WPA2 Entreprise
+  * Sécurité WiFi : WPA/WPA2 Entreprise
   * Authenthification : Tuneled TLS
   * Authentification Interne (phase 2): PAP
@@ Line 291: / Line 297: @@
   $ apt-get install cups cups-client
-  $ echo "servername cups.bordeaux.inria.fr" > /etc/cups/client.conf
-  $ echo "User esnard" >> /etc/cups/client.conf ; echo >> /etc/cups/client.conf
+<code text /etc/cups/client.conf>
+ServerName cups-bso.inria.fr
+User esnard
+Encryption Required
+</code>
   $ service cups restart
@@ Line 300: / Line 311: @@
 //Install de OpenConnect, un client libre pour Cisco et configurer... Possible avec OpenVPN.//
+=== Site Web LaBRI ===
+Le site web est basé sur le protocole //webdav//. Il faut effectuer la syncronisation avec un outil comme //sitecopy// ou réaliser un point de montage webdav avec //fusdav// ou //wdfs// (https://github.com/jmesmon/wdfs).
@@ Line 338: / Line 352: @@
 ===== Misc =====
+=== Grub ===
+Les options par defaut de grub sont dans /etc/default/grub
+Pour mettre à jour son fichier /boot/grub/grub.cfg
+  $ sudo update-grub