bash : fix format.

This commit is contained in:
Dmitry Voronin 2023-11-21 14:15:11 +03:00
parent 721244896c
commit 9632588577
2 changed files with 8 additions and 4 deletions

View file

@ -1,6 +1,7 @@
# Convert between different formats. # Convert between different formats.
# Usage: convert <FROM.gz> <TO.xz> # Usage: convert <FROM.gz> <TO.xz>
convert() { convert()
{
local input="${1}" local input="${1}"
local output="${2}" local output="${2}"
local from="${input##*.}" local from="${input##*.}"
@ -39,11 +40,13 @@ convert() {
fi fi
} }
_convert_gz-xz() { _convert_gz-xz()
{
pv "${1}" | gzip -d | xz -9e > "${2}" pv "${1}" | gzip -d | xz -9e > "${2}"
} }
_convert_xz-gz() { _convert_xz-gz()
{
pv "${1}" | xz -d | gzip -1 > "${2}" pv "${1}" | xz -d | gzip -1 > "${2}"
} }

View file

@ -72,7 +72,8 @@ __prompt_command()
fi fi
} }
_ps1error() { _ps1error()
{
local type local type
case ${1} in case ${1} in
1) type="GENERAL" ;; 1) type="GENERAL" ;;