mirror of
https://github.com/quickemu-project/quickemu.git
synced 2024-09-20 00:02:03 +02:00
Halt unless bash 4 or newer
This commit is contained in:
parent
4634212f65
commit
8bb9003f5a
6
quickemu
6
quickemu
|
@ -1,6 +1,12 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
export LC_ALL=C
|
export LC_ALL=C
|
||||||
|
|
||||||
|
if ((BASH_VERSINFO[0] < 4))
|
||||||
|
then
|
||||||
|
echo "Sorry, you need bash 4.0 or newer to run this script."
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
function ignore_msrs_always() {
|
function ignore_msrs_always() {
|
||||||
# Make sure the host has /etc/modprobe.d
|
# Make sure the host has /etc/modprobe.d
|
||||||
if [ -d /etc/modprobe.d ]; then
|
if [ -d /etc/modprobe.d ]; then
|
||||||
|
|
6
quickget
6
quickget
|
@ -23,6 +23,12 @@
|
||||||
# }
|
# }
|
||||||
# 6. Add new OS to the argument parser at the bottom of the script
|
# 6. Add new OS to the argument parser at the bottom of the script
|
||||||
|
|
||||||
|
if ((BASH_VERSINFO[0] < 4))
|
||||||
|
then
|
||||||
|
echo "Sorry, you need bash 4.0 or newer to run this script."
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
function pretty_name() {
|
function pretty_name() {
|
||||||
local SIMPLE_NAME=""
|
local SIMPLE_NAME=""
|
||||||
local PRETTY_NAME=""
|
local PRETTY_NAME=""
|
||||||
|
|
Loading…
Reference in New Issue
Block a user