drwxr-xr-x 2 edrx edrx 4096 May 31 09:18 ./ drwxr-xr-x 315 edrx edrx 61440 May 31 09:20 ../ -rw-r--r-- 1 edrx edrx 7554 Oct 19 2025 2025.1-provas.sh -rw-r--r-- 1 edrx edrx 17236 May 31 09:18 2025.1-provas.sh.html -rwxr-xr-x 1 edrx edrx 1613 Nov 8 2020 Xscreenshot* -rwxr-xr-x 1 edrx edrx 1693 Feb 21 2020 Xscreenshot-rect* -rw-r--r-- 1 edrx edrx 3306 May 31 09:18 Xscreenshot-rect.html -rwxr-xr-x 1 edrx edrx 1115 Feb 21 2020 Xscreenshot-window* -rw-r--r-- 1 edrx edrx 2982 May 31 09:18 Xscreenshot-window.html -rw-r--r-- 1 edrx edrx 4097 May 31 09:18 Xscreenshot.html -rwxr-xr-x 1 edrx edrx 1139 Feb 21 2020 _psne* -rw-r--r-- 1 edrx edrx 2227 May 31 09:18 _psne.html -rwxr-xr-x 1 edrx edrx 177 Feb 21 2020 dednat5* -rw-r--r-- 1 edrx edrx 776 May 31 09:18 dednat5.html -rwxr-xr-x 1 edrx edrx 1529 Nov 18 2020 djvuize* -rw-r--r-- 1 edrx edrx 3166 May 31 09:18 djvuize.html -rw-r--r-- 1 edrx edrx 583 Feb 21 2020 edit-pr.sh -rw-r--r-- 1 edrx edrx 1203 May 31 09:18 edit-pr.sh.html -rw-r--r-- 1 edrx edrx 232 Feb 21 2020 edit.sh -rw-r--r-- 1 edrx edrx 837 May 31 09:18 edit.sh.html -rwxr-xr-x 1 edrx edrx 5866 Feb 21 2020 eechannel* -rw-r--r-- 1 edrx edrx 7867 May 31 09:18 eechannel.html lrwxrwxrwx 1 edrx edrx 18 Aug 4 2013 eeg -> ../eev-current/eeg* -rw-r--r-- 1 edrx edrx 12391 May 31 09:18 eeg.html lrwxrwxrwx 1 edrx edrx 19 Aug 4 2013 eeg4 -> ../eev-current/eeg4* -rw-r--r-- 1 edrx edrx 12393 May 31 09:18 eeg4.html -rwxr-xr-x 1 edrx edrx 2401 May 9 2024 eev-cabal* -rw-r--r-- 1 edrx edrx 4908 May 31 09:18 eev-cabal.html -rwxr-xr-x 1 edrx edrx 1335 Sep 21 2024 eev-quicklisp* -rw-r--r-- 1 edrx edrx 2656 May 31 09:18 eev-quicklisp.html -rwxr-xr-x 1 edrx edrx 2126 May 2 2022 eev-wconfig* -rw-r--r-- 1 edrx edrx 3202 May 31 09:18 eev-wconfig.html -rwxr-xr-x 1 edrx edrx 7440 Dec 31 2023 eevgitlib1.sh* -rw-r--r-- 1 edrx edrx 13094 May 31 09:18 eevgitlib1.sh.html -rwxr-xr-x 1 edrx edrx 1061 Jul 22 2024 eevgitlib2.sh* -rw-r--r-- 1 edrx edrx 3455 May 31 09:18 eevgitlib2.sh.html -rw-r--r-- 1 edrx edrx 142 Feb 21 2020 emacs-c.cmd -rwxr-xr-x 1 edrx edrx 319 Feb 21 2020 emacs-default* -rwxr-xr-x 1 edrx edrx 199 Feb 21 2020 emacs-default-x* -rw-r--r-- 1 edrx edrx 1060 May 31 09:18 emacs-default-x.html -rw-r--r-- 1 edrx edrx 1178 May 31 09:18 emacs-default.html -rwxr-xr-x 1 edrx edrx 2295 Feb 21 2020 etc.lua* -rw-r--r-- 1 edrx edrx 4769 May 31 09:18 etc.lua.html -rwxr-xr-x 1 edrx edrx 431 Feb 21 2020 fastcmp.lua* -rw-r--r-- 1 edrx edrx 1058 May 31 09:18 fastcmp.lua.html -rwxr-xr-x 1 edrx edrx 339 Feb 21 2020 favstella* -rw-r--r-- 1 edrx edrx 1238 May 31 09:18 favstella.html -rwxr-xr-x 1 edrx edrx 1304 Jul 21 2024 git-defs* -rw-r--r-- 1 edrx edrx 3068 May 31 09:18 git-defs.html -rwxr-xr-x 1 edrx edrx 422 Feb 21 2020 git-set-head* -rw-r--r-- 1 edrx edrx 1234 May 31 09:18 git-set-head.html -rwxr-xr-x 1 edrx edrx 735 Feb 21 2020 gravis-up* -rwxr-xr-x 1 edrx edrx 909 Feb 21 2020 gs-640c-bw* -rw-r--r-- 1 edrx edrx 1599 May 31 09:18 gs-640c-bw.html -rwxr-xr-x 1 edrx edrx 3928 Dec 14 2021 gsub.lua* -rw-r--r-- 1 edrx edrx 5565 May 31 09:18 gsub.lua.html -rwxr-xr-x 1 edrx edrx 858 Feb 21 2020 gvpage.sh* -rw-r--r-- 1 edrx edrx 1385 May 31 09:18 gvpage.sh.html -rwxr-xr-x 1 edrx edrx 236 Feb 21 2020 hpprint* -rw-r--r-- 1 edrx edrx 988 May 31 09:18 hpprint.html -rwxr-xr-x 1 edrx edrx 4580 Feb 21 2020 intermail* -rw-r--r-- 1 edrx edrx 6221 May 31 09:18 intermail.html -rwxr-xr-x 1 edrx edrx 132 Feb 21 2020 inx-up* -rw-r--r-- 1 edrx edrx 618 Feb 21 2020 inx.dip-nopwds -rwxr-xr-x 1 edrx edrx 880 Feb 21 2020 kbrequest* -rwxr-xr-x 1 edrx edrx 327 Feb 21 2020 lpdj-tmp* -rw-r--r-- 1 edrx edrx 1159 May 31 09:18 lpdj-tmp.html -rwxr-xr-x 1 edrx edrx 1563 Oct 7 2022 lua51-e* -rw-r--r-- 1 edrx edrx 4161 May 31 09:18 lua51-e.html -rwxr-xr-x 1 edrx edrx 520 Oct 19 2025 luarocks_vvv* -rw-r--r-- 1 edrx edrx 1732 May 31 09:18 luarocks_vvv.html -rw-r--r-- 1 edrx edrx 974 Apr 28 2024 mypygments.sh -rw-r--r-- 1 edrx edrx 2696 May 31 09:18 mypygments.sh.html -rwxr-xr-x 1 edrx edrx 841 Feb 21 2020 mysetxkb* -rw-r--r-- 1 edrx edrx 2430 May 31 09:18 mysetxkb.html -rwxr-xr-x 1 edrx edrx 219 Feb 21 2020 mytcl* -rw-r--r-- 1 edrx edrx 1082 May 31 09:18 mytcl.html -rwxr-xr-x 1 edrx edrx 116 Feb 21 2020 mywish* -rw-r--r-- 1 edrx edrx 594 May 31 09:18 mywish.html -rwxr-xr-x 1 edrx edrx 318 Feb 21 2020 myxsettings* -rw-r--r-- 1 edrx edrx 1561 May 31 09:18 myxsettings.html -rwxr-xr-x 1 edrx edrx 161 Feb 21 2020 netbsdman* -rw-r--r-- 1 edrx edrx 775 May 31 09:18 netbsdman.html -rwxr-xr-x 1 edrx edrx 1256 Feb 21 2020 patch-lua-5.1.3* -rw-r--r-- 1 edrx edrx 2626 May 31 09:18 patch-lua-5.1.3.html -rwxr-xr-x 1 edrx edrx 1644 Feb 21 2020 patch-lua-5.2* -rw-r--r-- 1 edrx edrx 3049 May 31 09:18 patch-lua-5.2.html -rwxr-xr-x 1 edrx edrx 957 Feb 21 2020 pump.lua* -rw-r--r-- 1 edrx edrx 1442 May 31 09:18 pump.lua.html -rwxr-xr-x 1 edrx edrx 2506 Feb 21 2020 run-latex* -rw-r--r-- 1 edrx edrx 4732 May 31 09:18 run-latex.html -rwxr-xr-x 1 edrx edrx 1883 Feb 21 2020 scast* -rw-r--r-- 1 edrx edrx 3389 May 31 09:18 scast.html -rwxr-xr-x 1 edrx edrx 344 Aug 27 2021 scrxpp* -rw-r--r-- 1 edrx edrx 1132 May 31 09:18 scrxpp.html -rwxr-xr-x 1 edrx edrx 1180 Feb 21 2020 sendemail* -rwxr-xr-x 1 edrx edrx 323 Feb 21 2020 setenved-metalua* -rw-r--r-- 1 edrx edrx 1073 May 31 09:18 setenved-metalua.html -rwxr-xr-x 1 edrx edrx 1691 Feb 21 2020 ssh-xterm* -rw-r--r-- 1 edrx edrx 3130 May 31 09:18 ssh-xterm.html -rwxr-xr-x 1 edrx edrx 1607 Feb 21 2020 sshot-uniq.lua* -rw-r--r-- 1 edrx edrx 2747 May 31 09:18 sshot-uniq.lua.html -rwxr-xr-x 1 edrx edrx 577 Feb 21 2020 startstuff* -rw-r--r-- 1 edrx edrx 1215 May 31 09:18 startstuff.html -rwxr-xr-x 1 edrx edrx 25770 Aug 17 2021 textcleaner* -rw-r--r-- 1 edrx edrx 26815 May 31 09:18 textcleaner.html -rwxr-xr-x 1 edrx edrx 29364 Feb 21 2020 whiteboard* -rw-r--r-- 1 edrx edrx 30734 May 31 09:18 whiteboard.html -rwxr-xr-x 1 edrx edrx 175 Feb 21 2020 withgodi* -rw-r--r-- 1 edrx edrx 1030 May 31 09:18 withgodi.html -rwxr-xr-x 1 edrx edrx 42 Feb 21 2020 ydb* -rw-r--r-- 1 edrx edrx 514 May 31 09:18 ydb.html -rw-r--r-- 1 edrx edrx 7456 Feb 21 2020 yelp4kde -rw-r--r-- 1 edrx edrx 8090 May 31 09:18 yelp4kde.html -rwxr-xr-x 1 edrx edrx 2917 Dec 10 2021 youtube-dl* -rw-r--r-- 1 edrx edrx 5524 May 31 09:18 youtube-dl.html