Thought I should hint about Linux Game Server Managers (https://github.com/dgibbs64/linuxgsm/wiki) for setting up an Arma3 DS on (Debian/Redhat) Linux. Haven't seen it mentioned in these forums before. There's simply no reason to struggle yourself with proper start/stop scripts for Arma3 (or any of the other 30 supported game servers). The scripts works great, and provide consistent commands for downloading, installation, upgrades, monitoring and management.