Un truc et astuce ``Debian et dérivés''  un poil politique, voir:

http://www.fsf.org/news/2009-07-mscp-mono
http://www.linuxpromagazine.com/Online/News/Debian-to-Stallman-Mono-Not-Default

A mon avis, gnome peut être très utile *sans* #MONO d'ou:

$ dpkg --get-selections |
    grep -qi '^\(lib\|\)mono[^[:alnum:]]' &&
    echo Mono Installed $(
       [ -f /etc/mono/config ] &&
       echo and configured
  )

et donc:
$ sudo apt-get --purge remove $(
   dpkg --get-selections |
      grep -i '^\(lib\|\)mono[^[:alnum:]]' |
      sed 's/ *install//'
 ) 
...
0 mis à jour, 0 nouvellement installés, 49 à enlever et 9 non mis à jour.
Après cette opération, 59.7Mo d'espace disque seront libérés.
Souhaitez-vous continuer [O/n] ?

--
 Félix Hauri  -  <[email protected]>  -  http://www.f-hauri.ch
_______________________________________________
gull mailing list
[email protected]
http://forum.linux-gull.ch/mailman/listinfo/gull

Répondre à