diff options
| author | Gordian Edenhofer | 2017-07-01 18:22:26 +0200 |
|---|---|---|
| committer | Gordian Edenhofer | 2017-07-01 18:23:56 +0200 |
| commit | 65154822bec2767bf748086c8c6f436be15ff420 (patch) | |
| tree | 9e5b58e8875038f89b7dad7c63b11d82a3923bb5 /minecraftd.sh | |
| parent | 4bb68d5dbca813bc81e9a982fe053411a44ddc66 (diff) | |
| download | aur-65154822bec2767bf748086c8c6f436be15ff420.tar.gz | |
upgpkg: minecraft-server 1.12-3
Circumvent a permission bug related to running GNU screen as a different
user.
upgpkg: spigot 1.12-2
Diffstat (limited to 'minecraftd.sh')
| -rwxr-xr-x | minecraftd.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/minecraftd.sh b/minecraftd.sh index 97615049ea1f..6a4203b5422a 100755 --- a/minecraftd.sh +++ b/minecraftd.sh @@ -407,7 +407,9 @@ server_command() { # Enter the screen game session server_console() { if ${SUDO_CMD} screen -S "${SESSION_NAME}" -Q select . > /dev/null; then - ${SUDO_CMD} screen -S "${SESSION_NAME}" -rx + # Circumvent a permission bug related to running GNU screen as a different user, + # see e.g. https://serverfault.com/questions/116775/sudo-as-different-user-and-running-screen + ${SUDO_CMD} script -q -c "screen -S \"${SESSION_NAME}\" -rx" /dev/null else echo "There is no ${SESSION_NAME} session to connect to." fi |