# HG changeset patch
# User wenzelm
# Date 1572374560 -3600
# Node ID acc3bac0d7c56f4c758bc4a00f492c4c1673f546
# Parent  fe9496df62988009aaf8b7d2658f86dbc331e890
support for Linux packages;

diff -r fe9496df6298 -r acc3bac0d7c5 src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Tue Oct 29 18:08:24 2019 +0100
+++ b/src/Pure/System/linux.scala	Tue Oct 29 19:42:40 2019 +0100
@@ -46,4 +46,21 @@
 
     def is_ubuntu: Boolean = id == "Ubuntu"
   }
+
+
+  /* packages */
+
+  def reboot_required(): Boolean =
+    Path.explode("/var/run/reboot-required").is_file
+
+  def check_reboot_required(): Unit =
+    if (reboot_required()) error("Reboot required")
+
+  def package_update(progress: Progress = No_Progress): Unit =
+    progress.bash(
+      """apt-get update -y && apt-get upgrade -y && apt autoremove -y""",
+      echo = true).check
+
+  def package_install(packages: List[String], progress: Progress = No_Progress): Unit =
+    progress.bash("apt-get install -y -- " + Bash.strings(packages), echo = true).check
 }