Un formulaire qui permet d'utiliser webLireCouleur depuis son navigateur. Pratique pour les enseignants qui utilisent un tableau numérique.

Pour réinstaller des packages de SublimeText d'une machine sur une autre quel que soit le système d'exploitation d'origine et de destination.

Ebook pour utiliser Fossil

Ces manipulations ont été effectuées sur un ordi sous Debian «Jessie» ayant XFCE. Elles sont à effectuer pour la plupart en étant root.

L'état de l'art, c'est que quand on branche un disque dur externe formaté en hfs+ (avec journalisation activée), on peut accéder aux fichiers, mais pas écrire dessus.
On va donc revoir les options de montage, pour permette à votre utilisateur d'écrire sur ce disque.

Avertissement: l'écriture sur un système journalisé en hfs+ sous Linux n'est pas 100% fiable, donc évitez d'effectuer ceci sur un disque dur contenant des données importantes (ou faites-en une copie de sauvegarde).

Pour que ces opérations se déroulent bien, prenez soin d'éviter d'effectuer le montage automatique (qui s'effectue en clickant sur le périphérique qui apparaît dans votre gestionnaire de fichiers). Sinon, démontez-le, débranchez la prise USB et remettez-la.

Préparation - à effectuer une seule fois

Préparez le répertoire /mnt/ pour accueillir les points de montage:

mkdir /mnt/mac_temp
mkdir /mnt/mac

Explication: le 1er répertoire servira à effectuer un montage «classique». Le second servira à ré-effectuer un montage avec bindfs, qui donnera une «vue» sur les fichiers du disque dur avec les permissions utilisateur permettant l'écriture.

Installez bindfs:

aptitude install bindfs

C'est une bonne idée d'installer également hfsprogs, qui contient des outils de vérification pour les partitions Mac (fsck.hfsplus)

aptitude install hfsprogs

Montage

Repérez sous quel nom la partition de votre disque dur externe est identifiée:

ls /dev/sd*

Note: chez moi, c'est /dev/sdb3

Repérez l'UUID de cette partition, en vous référant au lien symbolique qui lui correspond, visible avec:

ls -l /dev/disk/by-uuid

Ensuite, effectuez un montage manuel (en remplaçant l'UUID par le votre à la suite du paramètre -U):

mount -t hfsplus -o rw,force -U abcdefghijklmnopqrstuvwxyz12345 /mnt/mac_temp

Note: l'option rw est nécessaire pour que le montage de la partition avec journalisation se fasse.

À partir de là, on a re-monté la partition, mais votre utilisateur ne peut toujours pas écrire dessus.

Repérez l'identifiant utilisateur auquel ont été associés les droits sur le point de montage:

ls -ln /mnt/mac_temp

Note: chez moi, elles sont associées à l'utilisateur numéro (l'UID) 99, qui ne correspond à aucun utilisateur existant sur le système.

Le but est maintenant de ré-associer les permissions à votre utilisateur courant.

Si votre système est une Debian installée de façon classique, votre 1er compte utilisateur a sans doute l'UID 1000. Vérifiez, par exemple avec:

ls -ln /home

Maintenant, on créé la «vue» en ré-associant les permissions de sorte que votre utilisateur puisse écrire sur la partition:

bindfs --map=99/1000 /mnt/mac_temp /mnt/mac

Note: remplacez 99 et 1000 par les UID que vous avez relevés précédemment.

Voilà ! Vous devriez pouvoir désormais accéder à votre partition en vous rendant dans /mnt/mac.

Script pour faciliter les montages ultérieurs

Placez un fichier où vous le souhaitez, dont le contenu ressemblera (selon l'UUID de la partition, etc...) à:

#!/bin/bash
mount -t hfsplus -o rw,force -U abcdefghijklmnopqrstuvwxyz12345 /mnt/mac_temp
bindfs --map=99/1000 /mnt/mac_temp /mnt/mac

Enregistrez ce fichier sous le nom montage_mac.sh.

Rendez éxécutable ce fichier:

chmod +x ./montage_mac.sh

Il vous suffira alors d'éxécuter ce script (en étant root) pour effectuer le montage.

./montage_mac.sh

Addendum

Pensez à démonter les partitions avant de débrancher le disque dur.

umount /mnt/mac_plus /mnt/mac

Il semblerait qu'on puisse aussi désactiver la journalisation du disque si l'on a un Mac sous le coude, et que cela soit plus arrangeant pour effectuer le montage. Mais cette solution n'a pas été essayée.

Easy tips and tweaks for Linux Mint and Ubuntu, both for beginners and for advanced users!

Unités CSS et points par pouce

L’unité in ne représente pas un pouce physique de l’écran, mais 96px. Cela signifie que quelque soit la densité de pixel réelle de l’écran, elle est supposée correspondre à 96dpi. Sur les périphériques dotés d’une plus grande densité de pixel, 1in fera moins d’1 pouce physique. De la même manière, mm, cm, et pt ne sont pas des longueurs absolues.

Quelques exemples particuliers :

1in est toujours égal à 96px,
3pt est toujours égal à 4px,
25.4mm est toujours égal à 96px.

Pour apprendre Symfony