Allez pour une fois un petit article technique sur ce blog ça faisait longtemps.
Tout dépend bien sur de la façon dont vous utilisez votre ordinateur mais il est probable que vous ayez sur vos disques dur des partitions que vous n’utilisez pas quand vous êtes sous GNU/Linux. Ce peut être la partition Windows que vous n’utilisez que pour jouer, ou la partition de restauration de Windows mis en place par le fabricant de votre ordinateur etc etc…
Si ces partitions ne vous intéressent pas fort logiquement vous ne les montez pas au démarrage mais cela ne les empêche pas d’apparaitre dans Gnome, via les raccourcis et le poste de travail. La question est donc de trouver le moyen de cacher totalement ces partitions à Gnome pour qu’il ne les affiche pas.
C’est grace à ce thread du forum officiel Ubuntu que j’ai fini par trouver la solution. La méthode n’est pas très difficile même si comme pour toutes manipulations des partitions il faut faire attention où on met les doigts.
- Repérer le nom de périphérique de la partition que vous voulez masquer (quelque chose du genre sda ou sdb suivi d’un chiffre)1 . Je l’ai fait avec gparted mais il y a peut-être plus simple et déjà disponible en ligne de commande si vous ne l’avez pas installé.
- Créer un fichier hide-partitions.rules dans le répertoire /etc/udev/rules.d
sudo gedit /etc/udev/rules.d/hide-partitions.rules
- Dans ce fichier mettre ceci :
# we only care about block devices
ACTION!="add|change", GOTO="hide_partitions_end"
SUBSYSTEM!="block", GOTO="hide_partitions_end"
KERNEL=="loop*|ram*", GOTO="hide_partitions_end"
################################################## ############################
# Partitions which desktops should not display
KERNEL=="sda1", ENV{DKD_PRESENTATION_HIDE}="1"
KERNEL=="fd0", ENV{ID_DRIVE_FLOPPY}="1", ENV{DKD_PRESENTATION_HIDE}="1"
################################################## ############################
LABEL="hide_partitions_end"
Bien sur il vous faut adapter les mentiions « sda1 » et « fd0 » par le nom de la partition qui vous intéresse. Dans mon cas je cherchais à masquer une partition de restauration de Windows et mon lecteur de disquette 2 .
Et voila vous n’avez plus qu’a redémarrer votre machine pour que ces partitions n’apparaissent plus, Simple et efficace.
Un avantage de cette méthode est que ces partitions restent accessible malgré tout. Certes il faudra les monter en utilisant la ligne de commande mais elles ne sont pas totalement inaccessible.
C’est à mon avis à utiliser pour des partitions qui sont utilisé pour des scripts de sauvegarde de plus en les montant ailleurs que dans /media (/mnt par exemple) elles n’apparaitront jamais même pendant qu’elles sont montées.
Je pense d’ailleurs que ce mécanisme doit pouvoir être exploité pour faire bien plus que cela les courageux peuvent se plonger dans les pages man de udev et DeviceKit-disks pour avoir plus d’information sur le contenu de ce fichier. À mon avis il doit y avoir plein de choses à faire.
LordPhoenix
Possible que ce soit une question de réglage toujours est-il que j’ai toujours vu apparaitre ma partition Windows même lorsqu’elle n’était pas monté.
clemsat
Tiens, bizarre – mes partitions autres que / et /home n’apparaissent jamais dans les raccourcis gnomesques. Seules les partitions montées dans /media font coucou sur le bureau et le « poste de travail »… et en disparaissent dès que démontées. Il doit y avoir un truc avec les réglages derrière tout ça ; à titre personnel je n’ai jamais bien compris l’intérêt du « poste de travail » de Gnome puisque /home et les éventuels autres /media sont accessibles sur le bureau. Quant aux connexions réseau… je n’ai jamais réussi à m’en servir, ça veut jamais – en même temps je n’utilise que NFS ou FUSE et je les monte en ligne de commande, ceci explique peut-être celà XD