diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 76773068f..a8180ab83 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -458,6 +458,8 @@ foreach file [glob "[genode_dir]/repos/gems/run/sculpt/*.config"] { # files. This is just a hack to accelerate the work flow. # +file copy -force [genode_dir]/repos/gems/recipes/pkg/sculpt/README [run_dir]/genode/ + file copy -force [genode_dir]/repos/gems/run/sculpt/vimrc [run_dir]/genode/ file copy -force [genode_dir]/repos/gems/run/sculpt/machine.vbox [run_dir]/genode/ diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config index fa96553d7..4f193d125 100644 --- a/repos/gems/run/sculpt/leitzentrale.config +++ b/repos/gems/run/sculpt/leitzentrale.config @@ -153,6 +153,7 @@ +