mirror of
https://github.com/mfontanini/presenterm.git
synced 2025-05-05 15:32:58 +00:00
Edd .editorconfig for *.sh and format shell scripts
This commit is contained in:
parent
d7dc027769
commit
d329243637
3
.editorconfig
Normal file
3
.editorconfig
Normal file
@ -0,0 +1,3 @@
|
||||
[*.sh]
|
||||
indent_style = space
|
||||
indent_size = 4
|
@ -2,8 +2,7 @@
|
||||
|
||||
set -e
|
||||
|
||||
if [ $# -ne 1 ]
|
||||
then
|
||||
if [ $# -ne 1 ]; then
|
||||
echo "Usage: $0 <bat-git-hash>"
|
||||
exit 1
|
||||
fi
|
||||
@ -27,4 +26,3 @@ zlib-flate -uncompress < assets/acknowledgements.bin >> "$acknowledgements_file"
|
||||
echo "$git_hash" >"$script_dir/bat.git-hash"
|
||||
|
||||
echo "syntaxes/themes updated"
|
||||
|
||||
|
@ -12,12 +12,10 @@ git clone https://github.com/sharkdp/bat.git "$clone_path"
|
||||
cd "$clone_path"
|
||||
git reset --hard "$git_hash"
|
||||
|
||||
for file in syntaxes.bin themes.bin
|
||||
do
|
||||
for file in syntaxes.bin themes.bin; do
|
||||
our_hash=$(sha256sum "$script_dir/$file" | cut -d " " -f1)
|
||||
their_hash=$(sha256sum "$clone_path/assets/$file" | cut -d " " -f 1)
|
||||
if [ "$our_hash" != "$their_hash" ]
|
||||
then
|
||||
if [ "$our_hash" != "$their_hash" ]; then
|
||||
echo "Unexpected hash for ${file}: should be ${their_hash}, is ${our_hash}"
|
||||
exit 1
|
||||
fi
|
||||
|
Loading…
x
Reference in New Issue
Block a user