mirror of
https://github.com/SerenityOS/serenity
synced 2024-09-06 17:06:31 +00:00
![kleines Filmröllchen](/assets/img/avatar_default.png)
A Python script is much easier to maintain than the organically grown variable mess that was run.sh. For now, the script inherits most environment variable modifiability from the shell script, but this is not a requirement. While porting this script, a couple of improvements have been made: - Spaces (especially in paths) cannot break most arguments anymore. Exceptions are environment variables specifying multiple arguments on purpose, these should be replaced in the future anyways. - Force control over virtualization is now possible with SERENITY_VIRTUALIZATION_SUPPORT. If set to 0, this variable was sometimes ignored before. - Handling Windows native QEMU is much more robust. Multiple incorrect checks for WSL, but not Windows native QEMU, were used before. This would also allow disabling native Windows QEMU much more easily in the future, which is necessary for GDB. - Various machine types had wrong or outdated arguments, such as qn. Co-Authored-By: Andrew Kaster <akaster@serenityos.org>
14 lines
348 B
Bash
Executable file
14 lines
348 B
Bash
Executable file
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
SCRIPT_DIR="$(dirname "${0}")"
|
|
|
|
# https://www.shellcheck.net/wiki/SC1090 No need to shellcheck private config.
|
|
# shellcheck source=/dev/null
|
|
[ -x "$SCRIPT_DIR/../run-local.sh" ] && . "$SCRIPT_DIR/../run-local.sh"
|
|
|
|
#export SERENITY_PACKET_LOGGING_ARG="-object filter-dump,id=hue,netdev=breh,file=e1000.pcap"
|
|
|
|
"$SCRIPT_DIR/run.py"
|