drwxr-xr-x 3 edrx edrx 4096 Jul 23 17:17 ./ drwxr-xr-x 3 edrx edrx 4096 Jul 23 17:19 ../ -rwxr-xr-x 1 edrx edrx 1624 Feb 22 2020 rep.lua* -rw-r--r-- 1 edrx edrx 2135 Jul 23 17:17 rep.lua.html drwxr-xr-x 2 edrx edrx 4096 Jul 23 17:17 repl/