Re: Gnome / Locale / noms de fichier
On 2004-01-30 11:15:26 +0100, Erwan David wrote:
> Pas seulement. Mets un '\' dans un nom de fichier et partage ça avec
> un utilisateur windows...
Ça, c'est le problème des utilisateurs de Windows. Sinon, on devrait
aussi interdire le point parce que c'est le séparateur de répertoire
sous RISC OS; en pratique, lors du passage d'un format à l'autre, le
"." et le "/" sont échangés, mais le contexte n'est pas clair: par
exemple, il m'arrive de recevoir des attachements d'archives avec un
nom du style "fichier/zip".
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: