mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
Rename wm pkg to motif_wm
This way, we can subsequently introduce a new 'wm' pkg that contains the window manager only, w/o any hard-wired decorator and layouter. Issue #3024
This commit is contained in:
parent
61863e2ffb
commit
1a75c5227e
@ -1,4 +1,4 @@
|
||||
_/pkg/wm
|
||||
_/pkg/motif_wm
|
||||
_/raw/themed_wm
|
||||
_/src/themed_decorator
|
||||
_/src/libc
|
||||
|
@ -2,7 +2,7 @@ create_boot_directory
|
||||
|
||||
import_from_depot genodelabs/src/[base_src] \
|
||||
genodelabs/pkg/[drivers_interactive_pkg] \
|
||||
genodelabs/pkg/wm \
|
||||
genodelabs/pkg/motif_wm \
|
||||
genodelabs/raw/genode_bg \
|
||||
genodelabs/pkg/fonts_fs \
|
||||
genodelabs/pkg/backdrop \
|
||||
|
@ -1,13 +1,13 @@
|
||||
create_boot_directory
|
||||
|
||||
#
|
||||
# To use the themed decorator instead of the default one, replace 'pkg/wm'
|
||||
# with 'pkg/themed_wm'.
|
||||
# To use the themed decorator instead of the default one, replace
|
||||
# 'pkg/motif_wm' with 'pkg/themed_wm'.
|
||||
#
|
||||
|
||||
import_from_depot genodelabs/src/[base_src] \
|
||||
genodelabs/pkg/[drivers_interactive_pkg] \
|
||||
genodelabs/pkg/wm \
|
||||
genodelabs/pkg/motif_wm \
|
||||
genodelabs/raw/genode_bg \
|
||||
genodelabs/pkg/backdrop \
|
||||
genodelabs/src/demo \
|
||||
|
@ -8,7 +8,7 @@ create_boot_directory
|
||||
|
||||
import_from_depot \
|
||||
genodelabs/pkg/[drivers_interactive_pkg] \
|
||||
genodelabs/pkg/wm \
|
||||
genodelabs/pkg/motif_wm \
|
||||
genodelabs/src/[base_src] \
|
||||
genodelabs/src/init \
|
||||
genodelabs/src/nitpicker \
|
||||
|
Loading…
Reference in New Issue
Block a user