| .. |
|
add-link
|
2c613477ff
Small adjustments for new computer
|
8 лет назад |
|
add-quip
|
5812ac2536
Added a bunch of small utilities
|
9 лет назад |
|
add-quote
|
f183757d09
Small updates to various scripts
|
8 лет назад |
|
adjust-screens
|
2c613477ff
Small adjustments for new computer
|
8 лет назад |
|
as-tmp
|
f183757d09
Small updates to various scripts
|
8 лет назад |
|
avg
|
f183757d09
Small updates to various scripts
|
8 лет назад |
|
dir2yaml
|
cce3212210
Misc deletions and restructuring
|
7 лет назад |
|
docker-delete-images
|
5812ac2536
Added a bunch of small utilities
|
9 лет назад |
|
ff-here
|
2c613477ff
Small adjustments for new computer
|
8 лет назад |
|
gdr-img
|
e24cc7b1ff
gdr-img loops through arguments
|
7 лет назад |
|
ghc-clean-pkgs
|
5812ac2536
Added a bunch of small utilities
|
9 лет назад |
|
ghc-wrapper
|
7f102d77c5
Added some error-checking to ghc-wrapper
|
7 лет назад |
|
ghci-with
|
cce3212210
Misc deletions and restructuring
|
7 лет назад |
|
git-add-untracked-sources
|
1c3d0c2852
Helper scripts for automatically updating git repos
|
8 лет назад |
|
git-ls-untracked-sources
|
1c3d0c2852
Helper scripts for automatically updating git repos
|
8 лет назад |
|
git-update-all
|
1c3d0c2852
Helper scripts for automatically updating git repos
|
8 лет назад |
|
license
|
49a35c94f1
Added license script
|
7 лет назад |
|
minimize-pdf-file-size
|
5812ac2536
Added a bunch of small utilities
|
9 лет назад |
|
mk-cabal-executable-file
|
459db7cc70
Added cabal file scripts
|
7 лет назад |
|
mk-cabal-file
|
459db7cc70
Added cabal file scripts
|
7 лет назад |
|
mp3rename
|
49cbd83404
Added mp3rename script
|
7 лет назад |
|
new-cabal-exec
|
efe8115841
Added new-cabal-exec script
|
7 лет назад |
|
panview
|
1bb46c674e
Added Panview
|
7 лет назад |
|
pr-pamphlet
|
5812ac2536
Added a bunch of small utilities
|
9 лет назад |
|
pr-paper
|
2c613477ff
Small adjustments for new computer
|
8 лет назад |
|
surf-here
|
17e7edd55b
Some common shell scripts too
|
9 лет назад |
|
yaml2csv
|
5812ac2536
Added a bunch of small utilities
|
9 лет назад |
|
yaml2dir
|
cce3212210
Misc deletions and restructuring
|
7 лет назад |
Getty Ritter
49cbd83404
Added mp3rename script