dj(1) - disk jockey #28
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "dj"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This pull request implements #15.
Some changes are notable:
-
isn't equivalent to/dev/stdin/
or/dev/stdout
because I haven't implemented it yet.-f
became-n
to reserve-f
and-F
for a possible additional feature.The rest is as described and tends to follow the pseudocode in the proposal. The code is accompanied by a man page which may need some love regarding roff macros and copyright stuff.
The code is thoroughly tested but may still be imperfect.
Emma gave me the okay verbally to merge.