User Tools

Site Tools


debian:index

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
debian:index [2017/12/13 14:12] – [Environnement de Travail] oreldebian:index [2024/03/18 15:06] (current) – external edit 127.0.0.1
Line 233: Line 233:
   $ wget https://atom.io/download/deb   $ wget https://atom.io/download/deb
   $ sudo gdebi atom-amd64.deb   $ sudo gdebi atom-amd64.deb
 +
 +J'utilise les packages //linter// et //atom-beautify//...
  
 === Bash === === Bash ===
Line 284: Line 286:
 === Eduroam === === Eduroam ===
  
- * Sécurité WiFi : WPA/WPA2 Entreprise+  * Sécurité WiFi : WPA/WPA2 Entreprise
   * Authenthification : Tuneled TLS   * Authenthification : Tuneled TLS
   * Authentification Interne (phase 2): PAP   * Authentification Interne (phase 2): PAP
Line 295: Line 297:
  
   $ apt-get install cups cups-client   $ 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   $ service cups restart
  
Line 345: Line 352:
  
 ===== Misc ===== ===== 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
  
  
debian/index.1513174367.txt.gz · Last modified: 2024/03/18 15:05 (external edit)