Merge branch 'dev' into master

This commit is contained in:
Roman Beltiukov
2023-05-25 15:10:10 -07:00
committed by GitHub
157 changed files with 5188 additions and 3727 deletions

View File

@@ -94,6 +94,14 @@ else
printf "\n%s\n" "${delimiter}"
fi
if [[ $(getconf LONG_BIT) = 32 ]]
then
printf "\n%s\n" "${delimiter}"
printf "\e[1m\e[31mERROR: Unsupported Running on a 32bit OS\e[0m"
printf "\n%s\n" "${delimiter}"
exit 1
fi
if [[ -d .git ]]
then
printf "\n%s\n" "${delimiter}"