drwxr-xr-x 2 edrx edrx 4096 Sep 13 03:35 ./ drwxr-xr-x 27 edrx edrx 4096 Sep 13 03:37 ../ -rw-r--r-- 1 edrx edrx 36436 Sep 7 21:54 __discrete.el -rw-r--r-- 1 edrx edrx 48072 Sep 13 03:35 __discrete.el.html