From 5335563a4b0dadf1da24222ce8e69cb353cc152d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 19 Feb 2019 18:06:01 +0100
Subject: [PATCH] tiled_wm.run: message about fd limit on Linux

Taken from leitzentrale.run
---
 repos/gems/run/tiled_wm.run | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/repos/gems/run/tiled_wm.run b/repos/gems/run/tiled_wm.run
index 9e5a6a7434..a8d8b49436 100644
--- a/repos/gems/run/tiled_wm.run
+++ b/repos/gems/run/tiled_wm.run
@@ -12,6 +12,16 @@ if {[have_spec odroid_xu]} {
 	exit 0
 }
 
+if {[have_spec linux]} {
+	set max_fds [exec bash -c "ulimit -n"]
+	if {$max_fds < 4096} {
+		puts stderr "\nMaximum number of file descriptors is too low for this run script."
+		puts stderr "You may use the following command to increase the limit:\n"
+		puts stderr "  ulimit -n 4096\n"
+		exit 1
+	}
+}
+
 #
 # Generate config
 #