drwxr-xr-x 2 edrx edrx 4096 Sep 14 19:53 ./ drwxr-xr-x 27 edrx edrx 4096 Sep 14 19:54 ../ -rw-r--r-- 1 edrx edrx 36436 Sep 7 21:54 __discrete.el -rw-r--r-- 1 edrx edrx 48072 Sep 14 19:53 __discrete.el.html