Shell.mkdir on OSX

23 views
Skip to first unread message

Sean McLaughlin

unread,
Jul 16, 2012, 10:47:16 AM7/16/12
to ocaml...@googlegroups.com
Hi,

Shell.mkdir ~perm:0o777 "foo"

runs

/bin/mkdir --mode 777 foo

--mode is not an option on OSX. -m works on both. Should we

1) change the flag (which could lead to many such changes)
2) do conditional directives as in other os-dependent modules
3) Assume Shell only works on Linux and write our own OSX Shell module?

Sean

Sean McLaughlin

unread,
Jul 16, 2012, 10:49:45 AM7/16/12
to ocaml...@googlegroups.com
Another option is to use gmkdir on OSX, from the gnu-coreutils
package, but that's another conditional.

Yaron Minsky

unread,
Jul 16, 2012, 5:54:57 PM7/16/12
to ocaml...@googlegroups.com
-m seems like the better solution. I'll get a quick patch to that
effect into our current tree.

y
Reply all
Reply to author
Forward
0 new messages