I am on 10.11 and almost git head. I cannot repeat your experiment. Is the
following accurate?
% cat /tmp/foo.txt
hello world
good bye
% racket
Welcome to Racket v6.7.0.3.
> (define p "/tmp/foo.txt")
> (file-exists? p)
#t
> (delete-file p)
> (file-exists? p)
#f
> On Nov 5, 2016, at 6:05 PM, David Storrs <david.sto...@gmail.com> wrote:
>
> I've got this little snip of code:
>
>
> (define p "/tmp/foo/bar-28")
> (file-exists? p) ; #t
> (delete-file p)
> (file-exists? p) ; still #t ??
>
>
> I've verified that:
>
> *) It's not throwing an exception
> *) The code is running as me
> *) The /tmp directory is 777 [I'm on OSX 10.11]
> *) The file itself is 666, although that shouldn't matter
> *) The file is owned by me
> *) p is a string
> *) p points to the correct file
> *) There are no leading or trailing whitespace characters
> *) If I run this code from inside a command-line Racket REPL, it works fine
> and the file is deleted
> *) If I replace (delete-file) with (system @~a{rm -f @p}) it works fine
>
> I thought maybe there was something weird about the /tmp directory, so I
> tried putting the target in a different directory
> (/Users/dstorrs/tmp/foo/bar-28) but that made no difference.
>
> I've tried googling on the general net and in the mailing list archives and
> found nothing. I am utterly flummoxed here; can anyone suggest anything?
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com
> <mailto:racket-users+unsubscr...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout
> <https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
