!7 p { if (!isLinux()) fail("Sorry, Linux only"); print("[Running]\n"); print(backtickInSuperUserVM("sudo apt-get update")); }