.. |
add-link
|
2c613477ff
Small adjustments for new computer
|
9 年 前 |
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
|
9 年 前 |
as-tmp
|
f183757d09
Small updates to various scripts
|
8 年 前 |
avg
|
f183757d09
Small updates to various scripts
|
8 年 前 |
docker-delete-images
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
ff-here
|
2c613477ff
Small adjustments for new computer
|
9 年 前 |
gdr-img
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
ghc-clean-pkgs
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
ghc-wrapper
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
ghci-with
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
git-add-untracked-sources
|
1c3d0c2852
Helper scripts for automatically updating git repos
|
9 年 前 |
git-ls-untracked-sources
|
1c3d0c2852
Helper scripts for automatically updating git repos
|
9 年 前 |
git-update-all
|
1c3d0c2852
Helper scripts for automatically updating git repos
|
9 年 前 |
minimize-pdf-file-size
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
pr-pamphlet
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
pr-paper
|
2c613477ff
Small adjustments for new computer
|
9 年 前 |
surf-here
|
17e7edd55b
Some common shell scripts too
|
9 年 前 |
twit
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
windows
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |
yaml2csv
|
5812ac2536
Added a bunch of small utilities
|
9 年 前 |