[Unison-hackers] Using unison on dual boot Windows-Linux

[Élie Gouzien]

English version follow!


Chers créateurs et utilisateurs d'Unison,

Ayant deux systèmes d'exploitation sur mon ordinateur, j'ai essayé de
pouvoir utiliser Unison indifféremment sur Windows ou Linux.

Voici la solution que je propose :
http://www.eleves.ens.fr/home/gouzien/Informatique/unison/

Il serait bien d'intégrer quelque chose de similaire à Unison. Je verrai
bien une option archive_folder pour spécifier un dossier contenant
l'archive du profile et qu’Unison soit capable de gérer les petits
problèmes engendrées (nom coupé,…).

Il pourrait être pas mal d'intégrer un gestionnaire d'archive complet,
notamment pour supprimer les archives dont le profile a été supprimé.

Je me tiens à votre disposition pour répondre à toute question.

Bien cordialement,
Élie Gouzien



Dear Unison developers and hackers,

I've recently been faced to and solved the following problem: given a
computer with two operating systems (windows and Linux), how can we use
Unison indifferently on both systems?

Basically the idea is just to use the rootalias option and create links
in the Linux Unison folder pointing to the Windows unison folder's
archive. That was not that easy because windows names are cut and Unison
delete my links and create a new archive file.

So I've written a small python script to take care of the creation and
renewal of the links.

You can find the (commented) code here :
http://www.eleves.ens.fr/home/gouzien/Informatique/unison/creer_liens_unison.en.py

Basically, we can find all we need to found out the archive name inside
the archive. So the script reads the archives and creates an index. Then
for every profile it finds the corresponding archive and finally creates
the link.

There is a little more details (including examples of profile files) in
French here :
http://www.eleves.ens.fr/home/gouzien/Informatique/unison/

It could be nice to include this in Unison by adding a kind of
archive_folder option.
It could also be nice to include an archive manager. When you delete a
profile, cleaning the archive is quite painful right now.

Don't hesitate to ask any question you can thin about.

Sincerely,
Élie Gouzien