From 72bb821990aa23c5242ec38507efa3f78e3264c7 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 22 Jul 2014 19:43:44 +0200
Subject: [PATCH] Fix 'noux_terminal_fs' test

Fixes #1213.
---
 repos/os/include/vfs/terminal_file_system.h | 5 +++++
 repos/ports/run/noux_terminal_fs.run        | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/repos/os/include/vfs/terminal_file_system.h b/repos/os/include/vfs/terminal_file_system.h
index a9c2a88cbd..72f37d9ba4 100644
--- a/repos/os/include/vfs/terminal_file_system.h
+++ b/repos/os/include/vfs/terminal_file_system.h
@@ -84,6 +84,11 @@ class Vfs::Terminal_file_system : public Single_file_system
 			return READ_OK;
 		}
 
+		Ftruncate_result ftruncate(Vfs_handle *vfs_handle, size_t) override
+		{
+			return FTRUNCATE_OK;
+		}
+
 		bool check_unblock(Vfs_handle *vfs_handle, bool rd, bool wr, bool ex) override
 		{
 			if (rd && (_terminal.avail() > 0))
diff --git a/repos/ports/run/noux_terminal_fs.run b/repos/ports/run/noux_terminal_fs.run
index 838dec38f4..394c750cb7 100644
--- a/repos/ports/run/noux_terminal_fs.run
+++ b/repos/ports/run/noux_terminal_fs.run
@@ -157,7 +157,7 @@ append config {
 				<if-arg key="label" value=""/><child name="terminal_noux"/>
 			</service>
 			<service name="Terminal">
-				<if-arg key="label" value="noux(terminal_fs)"/><child name="terminal_test"/>
+				<if-arg key="label" value="terminal_fs"/><child name="terminal_test"/>
 			</service>
 			<any-service><parent/><any-child/></any-service>
 		</route>
@@ -167,7 +167,7 @@ append config {
 				<tar name="bash.tar" />
 
 				<dir name="ram"> <fs label="root" /> </dir>
-				<dir name="dev"> <terminal name="terminal" /> </dir>
+				<dir name="dev"> <terminal name="terminal" label="terminal_fs" /> </dir>
 			</fstab>
 			<start name="/bin/bash">
 				<env name="TERM" value="linux" />