- As part of our Research, Jan
Hoffman and I have implemented a tool for analysing resource
consumption of ML-like programs (called "RAML" for
- There is an implementation of an
http to tcp
tunnel which I use to get an ssh connection, if the only thing
available is http. It even works, if POST requests are not allowed
by some "transparent" store-and-forward(!) proxy in between.
It also turns out to be useful, to get a stable connection if your
IP is changing rapidly.
- To keep the mailboxes on my server/desktop/laptop in sync, I
use a set of simple scripts that work on maildirs pretty much
like diff/patch. As transport layer I use uucp (over ssh), but
the program is completly agnostic towards transport (it just
provides a hook to the shell); anything able to transport files
will do (including carrying USB sticks around).
The shell archive maildirdiff-0.4.shar
contains a file structure ready to stow(8).
- There is a collection of tools that I use to work
locally with cvs
(for example if I'm working on my laptop and are currently offline
so that I cannot access the cvs repository directly). This
includes several successive commits to the same file,
even though the repository is on a different machine and
temporarily not available.
- On a similar topic, I use the following script to keep under
sparsely scattered files.
- Speaking of version control, rcsjoin.py
is a small script, that takes two rcs(1) files with common initial
commit and generates a new one thereof that contains all the
branches of either. It also works if the branch file started from
version of the trunk shortened to the last commit, if that is
appropriately tagged; such a short version can be generated by
rcsshort.py. There are also the versions
ported to Python3, rcsjoin3.py and
- I have two small tools to help reading plain text: one to redo
the line breaking, and a multi-column version of more(1).
- Occasionally I suggest to have the second hand on an analogue
watch slowed down by a factor of 12 so that one can use it, to
properly read of the minutes. If you want to get an impression
what that would look like, here is the appropriately patched
x11-clocks/tclock port (which calls itself tclock-min, so that you
can install both clocks in parallel):
- Mainly to understand the task, I have written my own set of
scripts to upgrade FreeBSD ports.
- To understand the administrative svn commands, I've written some
mirror an svn repository by pushing deltas.
- I have my local
patches for FreeBSD and its ports collection.
- Finally, you might also be interested in (the public part of)
the ports collection
used on our Linux server. It is made for GNU make,
uses stow as packaging tool, and can also be used to
software completely in your home directory
if needed, e.g., on a machine where you disagree with the system
administrator. (automatically mirrored daily)
-----BEGIN PGP SIGNED MESSAGE-----
SHA256 (raml-0.6.tar.gz) = cead58bc972e0dd545fc3a8f19f2faee6b84df28c28653e4707aa22e5a3de8dc
SHA256 (maildirdiff-0.4.shar) = 42678f10581e93f923c7dd288d4982fd0c024446f512b2dab141a2260e427494
SHA256 (maildirdiff-0.3.shar) = 977592f98caca525204aa0f9c2534be406c74f497044cd46d21a6766d9456aea
SHA256 (maildirdiff-0.2.shar) = 72297782b83cb60047dd6555afb8beca89576564e5d20713bca92ae90d2f082b
SHA256 (maildirdiff-0.1.shar) = fc03dc124b094aeb4b620825577a2a482c4064e4635ad80755b45f907cfc5d47
SHA256 (rcsjoin.py) = 8d69025d8628bcb1e22e17acfc839a645dcca2a8763419e399bd2c65a48f254f
SHA256 (rcsshort.py) = 640baee91b0caa67b665e7264e0bbc17fff080fe0d662b0891d84976a9dd2c68
SHA256 (rcsjoin3.py) = 016f33265840d61415661393d9d995bf0d101cbf27c20b6de63748f708d84967
SHA256 (rcsshort3.py) = 62223744ef2d9c8abbf737fea99c6385ef32c00e6c9ab7268759bd66dd1788c4
SHA256 (textreadutils-1.1.tar.gz) = 2a12017818a907045415932a55ef771f26a6390144f9a132440b18171b9101d3
SHA256 (textreadutils-1.0.tar.gz) = e3a2b21182630d7121426df31fe892c6133b86d7d5a1840c2e00170437fc8ffe
SHA256 (textreadutils.shar) = eab0da4a1191075f2cc2b15f080e839f6840e40f394d305e38855cde8d7e9852
SHA256 (tclock-min.shar) = 7ec367e70071f014840d4b3394a01598435c8217b5e5f323c39276b54682d147
-----BEGIN PGP SIGNATURE-----
-----END PGP SIGNATURE-----
$Date: 2020/02/01 09:21:14 $