readDirectory -- read the contents of a directory

• Usage:

  readDirectory dir

• Inputs:
  • dir, a string, a filename or path to a directory
• Outputs:
  • a list, the list of filenames stored in the directory

i1 : dir = temporaryFileName()

o1 = /tmp/M2-29466-0/0

i2 : makeDirectory dir

o2 = /tmp/M2-29466-0/0

i3 : (fn = dir | "/" | "foo") << "hi there" << close

o3 = /tmp/M2-29466-0/0/foo

o3 : File

i4 : readDirectory dir

o4 = {foo, ., ..}

o4 : List

i5 : removeFile fn

i6 : removeDirectory dir