Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Filename.concat sous Windows #2842

Closed
vicuna opened this issue Jul 17, 2001 · 2 comments
Closed

Filename.concat sous Windows #2842

vicuna opened this issue Jul 17, 2001 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Jul 17, 2001

Original bug ID: 443
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Salut,

J'ai un problème avec Filename.concat sous Windows (version Visual C++).
En faisant
Filename.concat "C:" "xxx"

je vois que le code n'ajoute pas de \ derrière le C: (il y a un test
si le nom du répertoire se termine par ':') mais j'ai l'impression
qu'il en faut un. En tous cas, ça n'accepte pas d'ouvrir C:xxx, je
crois qu'il faut bien C:\xxx. Me trompé-je?

--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/

@vicuna
Copy link
Author

vicuna commented Jul 20, 2001

Comment author: administrator

J'ai un problème avec Filename.concat sous Windows (version Visual C++).
En faisant
Filename.concat "C:" "xxx"
je vois que le code n'ajoute pas de \ derrière le C: (il y a un test
si le nom du répertoire se termine par ':') mais j'ai l'impression
qu'il en faut un. En tous cas, ça n'accepte pas d'ouvrir C:xxx, je
crois qu'il faut bien C:\xxx. Me trompé-je?

C'est une question subtile! En Windows, chaque disque (A:, B:, C:, etc)
maintient son propre répertoire courant. Autrement dit:

    C: désigne le répertoire courant du disque C
    C:xxx désigne le fichier xxx dans le répertoire courant du disque C
    C:\ désigne la racine du disque C
    C:\xxx désigne le fichier xxx à la racine de C
    copy C:foo D:  copie le fichier foo du répertoire courant de C
      vers le répertoire courant de D

Bref, dans l'orthodoxie Windows le comportement de Filename.concat est
correct. Si tu veux vraiment parler de la racine du disque C:,
c'est C:\ qu'il faut passer en premier argument à Filename.concat.

  • Xavier

@vicuna
Copy link
Author

vicuna commented Jul 24, 2001

Comment author: administrator

Implements correctly the MSDOS/Windows convention for drive letters.

@vicuna vicuna closed this as completed Jul 24, 2001
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant