Skip to content

Instantly share code, notes, and snippets.

View jhradilek's full-sized avatar

Jaromír Hradílek jhradilek

  • Red Hat
  • Czech Republic
View GitHub Profile
@jhradilek
jhradilek / .gitconfig
Created October 10, 2012 20:04
A Git alias to display the total number of insertions and deletions.
# Usage: git total [OPTION...]
#
# Options:
#
# In theory, the command accepts all command line options supported by
# the "git log" command. In reality, however, only few commit-limiting
# options are useful. This includes:
#
# --author=PATTERN, --committer=PATTERN
# Displays the number of lines changed by a certain author.
@jhradilek
jhradilek / .gitconfig
Created December 21, 2012 03:54
A Git alias to list all files ever tracked in a certain branch
# Usage: git ls-all [OPTION...] [SINCE..UNTIL]
#
# Options:
#
# In theory, the command accepts all command line options supported by
# the "git log" command. In reality, however, only commit-limiting
# options are useful. This includes:
#
# --author=PATTERN, --committer=PATTERN
# Lists only files that were changed by a certain author.
@jhradilek
jhradilek / .gitconfig
Created February 2, 2013 01:40
A Git alias to copy a file or directory
# Usage: git cp [OPTION...] SOURCE DESTINATION
#
# Options:
#
# In theory, the command accepts all command line options supported by
# the /bin/cp command. In reality, however, only few options are
# useful. This includes:
#
# -R, -r, --recursive
# Recursively copies a directory.
@jhradilek
jhradilek / ditahelp.sh
Last active March 17, 2025 23:02
Look up DITA 1.3 elements in the documentation online
#!/bin/bash
# ditahelp.sh - look up DITA 1.3 elements in the documentation online
# Copyright (C) 2024 Jaromir Hradilek <[email protected]>
# This program is free software: you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the
# Free Software Foundation, version 3 of the License.
#
# This program is distributed in the hope that it will be useful, but