diff options
author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-02-15 18:55:25 -0500 |
---|---|---|
committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-04-11 13:02:27 -0400 |
commit | 74067d389c204cd40906980391680724380667c0 (patch) | |
tree | 654f7aaed07e8fe019893337256929db87a017a1 /src/lib/common.sh.head | |
parent | 2e798795833af72ba0618f5577f15488b201b0fa (diff) |
Expect devtools files to already be patched.
Diffstat (limited to 'src/lib/common.sh.head')
-rw-r--r-- | src/lib/common.sh.head | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/lib/common.sh.head b/src/lib/common.sh.head deleted file mode 100644 index 23bfeb8..0000000 --- a/src/lib/common.sh.head +++ /dev/null @@ -1,25 +0,0 @@ -#!/hint/bash -# This may be included with or without `set -euE` - -# This file is included by libremessages. -# You should probably use libremessages instead of this. - -# License: Unspecified - -shopt -s extglob - -if [[ -z ${_INCLUDE_COMMON_SH:-} ]]; then -_INCLUDE_COMMON_SH=true - -[[ -n ${TEXTDOMAIN:-} ]] || export TEXTDOMAIN='libretools' -[[ -n ${TEXTDOMAINDIR:-} ]] || export TEXTDOMAINDIR='/usr/share/locale' - -if type gettext &>/dev/null; then - _() { gettext "$@"; } -else - _() { echo "$@"; } -fi - -_l() { - TEXTDOMAIN='librelib' TEXTDOMAINDIR='/usr/share/locale' "$@" -} |