readlink -- get the resolved value a symbolic link

• Usage:

  readlink fn

• Inputs:
  • fn, a string, a filename or path to a file
• Outputs:
  • a string, the resolved path to a symbolic link, or null if the file was not a symbolic link.

i1 : p = temporaryFileName ()

o1 = /tmp/M2-30907-0/0

i2 : symlinkFile ("foo", p)

i3 : readlink p

o3 = foo

i4 : removeFile p