- tablemark-cli: Generate markdown tables from JSON data
- gh-cli: GitHub’s official command line tool
- bandwhich: Terminal bandwidth utilization tool
Tip of the week: Quickly retrieve a deleted file from a Git repository:
% file="./repo/path/to/file"
git checkout $(git rev-list -n 1 HEAD -- "$file")~1 -- "$file"
Don’t know the full path of the file?
% filename="filename"
% sha="$(git log --all --full-history -1 --format=%H -- "**/$filename.*")" && \
git checkout "$sha"~1 -- "$(git diff-tree --no-commit-id --name-only -r "$sha" | grep "$filename")"