drwxr-xr-x 3 edrx edrx 4096 Jun 18 08:32 ./
drwxr-xr-x 3 edrx edrx 4096 Jun 18 08:34 ../
-rwxr-xr-x 1 edrx edrx 1624 Feb 22  2020 rep.lua*
-rw-r--r-- 1 edrx edrx 2135 Jun 18 08:32 rep.lua.html
drwxr-xr-x 2 edrx edrx 4096 Jun 18 08:32 repl/