Thanks, Jon. I would not have thought to check Paths. (Obviously.) Thanks, Neil. canonicalize-path looks useful, and my software is mostly going to be used on OSX and/or Linux, so it's a good fit.
Dave On Thu, Sep 28, 2017 at 7:32 PM, Jon Zeppieri <zeppi...@gmail.com> wrote: > https://docs.racket-lang.org/reference/Manipulating_Paths.html?q=resolve-path#%28def._%28%28quote._~23~25kernel%29._resolve-path%29%29 > > On Thu, Sep 28, 2017 at 5:50 PM, David Storrs <david.sto...@gmail.com> wrote: >> The link-exists? function will tell me that something is a symlink. >> How do I tell what it's pointing to? >> >> I'm writing code that must move data from one computer to another, and >> I need a way to say "create the file here and put the data in it" vs >> "create a symlink here that points to a file over there and put the >> data in the file" >> >> I've been through the Filesystem docs, which offer: >> >> link-exists? ; Is it a link? >> >> file-or-directory-identity (with as-link? #t) ; get the identity of a >> file, which can prove that a link isn't the same as the file that it >> points to, but doesn't help me find the target >> >> find-executable-file can track through a chain of links so presumably >> there is some way to do it. Various other functions (e.g. copy-file) >> also can distinguish between links and not-links. >> >> >> A general search of the docs yields a lot of hits to html- and >> collection-related things, but nothing that seems to solve my problem. >> >>  https://docs.racket-lang.org/reference/Filesystem.html >> >> -- >> 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. -- 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.