mirage / ocaml-fat

Read and write FAT format filesystems from OCaml
ISC License
26 stars 18 forks source link

'fat': adding a 8.3 filename, fails a sanity check #25

Closed djs55 closed 3 years ago

djs55 commented 10 years ago
djs@debian:~/djs55/ocaml-fat$ ./main.native create foo
djs@debian:~/djs55/ocaml-fat$ ./main.native add foo lib
copyin lib/fat_format.mli to /lib/fat_format.mli
copyin lib/META to /lib/META
fat: listdir(/lib) = [ 'META.   '(8), 'fat_format.mli'(14),
     '.memoryIO.ml.swp'(16), 'fs.mli'(6), 'fat.mllib'(9),
     '.name.mli.swp'(13), '.fs.ml.swp'(10), 'fat_format.ml'(13),
     'name.mli'(8), 's.ml'(4), '.sectorMap.ml.swp'(17), 'path.ml'(7),
     'path.mli'(8), 'sectorMap.mli'(13), 'boot_sector.mli'(15),
     'memoryIO.mli'(12), 'KV_RO.ml'(8), 'result.ml'(9), 'memoryIO.ml'(11),
     'update.ml'(9), 'result.mli'(10), 'name.ml'(7), 'fs.ml'(5),
     'update.mli'(10), 'entry.ml'(8), 'entry.mli'(9), 's.ml.rej'(8) ],
     doesn't include 'META'(4)
djs@debian:~/djs55/ocaml-fat$ echo $?
djs55 commented 3 years ago

Looks like it was fixed

$ ls
bin     CHANGES.md    fat-filesystem.opam  LICENSE.md  README.md  test
_build  dune-project  foo                  Makefile    src        TODO.md
$ ./_build/default/bin/main.exe add foo src
add foo <- [ src ]
copyin src/dune to /src/dune
copyin src/.merlin to /src/.merlin
copyin src/fat_boot_sector.mli to /src/fat_boot_sector.mli
copyin src/fat_update.mli to /src/fat_update.mli
copyin src/fat.ml to /src/fat.ml
copyin src/fat_path.mli to /src/fat_path.mli
copyin src/fat_update.ml to /src/fat_update.ml
copyin src/fat_name.mli to /src/fat_name.mli
copyin src/fat_entry.mli to /src/fat_entry.mli
copyin src/fat_boot_sector.ml to /src/fat_boot_sector.ml
copyin src/fat_format.ml to /src/fat_format.ml
copyin src/fat.mli to /src/fat.mli
copyin src/fat_entry.ml to /src/fat_entry.ml
copyin src/fat_name.ml to /src/fat_name.ml
copyin src/fat_path.ml to /src/fat_path.ml
copyin src/fat_format.mli to /src/fat_format.mli
copyin src/fat_sector_map.ml to /src/fat_sector_map.ml
copyin src/fat_sector_map.mli to /src/fat_sector_map.mli