diff options
Diffstat (limited to '')
-rw-r--r-- | .bashrc_pgn | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/.bashrc_pgn b/.bashrc_pgn deleted file mode 100644 index 4e73e76..0000000 --- a/.bashrc_pgn +++ /dev/null @@ -1,38 +0,0 @@ -[ ! -z "${BASHRC_PGN+x}" ] && return || readonly BASHRC_PGN=1 - -source .bashrc_text - -alias strip_pgn_clk='sed --binary --in-place '"'"'s/ {\[%clk [[:digit:]]\+:[[:digit:]]\+\(:[[:digit:]]\+\)*\]}//g'"'" -alias slice_pgn_moves='sed --binary --in-place '"'"'s/ \([[:digit:]]\+\.\)/\n\1/g'"'" - -normalize_pgn() { - dos2eol "$@" \ - && lint "$@" \ - && strip_pgn_clk "$@" \ - && slice_pgn_moves "$@" \ - && eol2dos "$@" -} - -append_pgn() { - if [ "$#" -ne 2 ]; then - echo "usage: $FUNCNAME DEST_PGN SRC_PGN" >&2 - return 1 - fi - - printf '\r\n' >> "$1" \ - && cat "$2" >> "$1" -} - -join_pgns() ( - [ "$#" -eq 0 ] && return - - set -o errexit - - cat "$1" - - local i - for i in "${@:2}"; do - printf '\r\n' - cat "$i" - done -) |