diff --git a/repos/dde_linux/README b/repos/dde_linux/README index a8f8a2ace9..c2cc9ebc4c 100644 --- a/repos/dde_linux/README +++ b/repos/dde_linux/README @@ -38,7 +38,7 @@ Supports keyboard and mouse. A run script can be found under 'run/usb_hid.run'. Configuration snippet: ! -! +! ! ! ! @@ -77,7 +77,7 @@ run script can be found under 'run/usb_storage.run'. Configuration snippet: ! -! +! ! ! ! @@ -89,7 +89,7 @@ Network (Nic) Configuration snippet: ! -! +! ! ! ! @@ -117,7 +117,7 @@ Allows raw access to USB devices via the 'Usb' session interface. Configuration snippet: ! -! +! ! ! ! @@ -148,7 +148,7 @@ can be accessed by a client. The following configuration allows 'comp1' to access the device 'usb-1-6': ! -! +! ! ! ! diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run index 97638ab55a..71f1509751 100644 --- a/repos/dde_linux/run/usb_hid.run +++ b/repos/dde_linux/run/usb_hid.run @@ -131,7 +131,7 @@ append config { } append config "" append config { - + diff --git a/repos/dde_linux/run/usb_hid_reconnect.run b/repos/dde_linux/run/usb_hid_reconnect.run index 59ff18a20a..71c4e564c5 100644 --- a/repos/dde_linux/run/usb_hid_reconnect.run +++ b/repos/dde_linux/run/usb_hid_reconnect.run @@ -79,7 +79,7 @@ append config { - + } append config "" append config { - + } append_if [have_spec arndale] config { diff --git a/repos/dde_linux/src/drivers/usb_host/README b/repos/dde_linux/src/drivers/usb_host/README index ef2f4ddcb2..fa734606f1 100644 --- a/repos/dde_linux/src/drivers/usb_host/README +++ b/repos/dde_linux/src/drivers/usb_host/README @@ -29,7 +29,7 @@ can be accessed by a client. The following configuration allows 'comp1' to access the device 'usb-1-6': ! -! +! ! ! ! diff --git a/repos/os/run/usb_block.run b/repos/os/run/usb_block.run index 3f2f680ffc..14eb7d0692 100644 --- a/repos/os/run/usb_block.run +++ b/repos/os/run/usb_block.run @@ -72,7 +72,7 @@ append config { } append config "" append config { - + } diff --git a/repos/os/src/drivers/usb_block/README b/repos/os/src/drivers/usb_block/README index e886ba6094..fa2e39b2bd 100644 --- a/repos/os/src/drivers/usb_block/README +++ b/repos/os/src/drivers/usb_block/README @@ -27,7 +27,7 @@ connection. A matching policy has to be configured at the USB host controller driver: ! -! +! ! ! ! diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc index 609c5fcfc9..0919b73f00 100644 --- a/repos/ports/run/seoul.inc +++ b/repos/ports/run/seoul.inc @@ -277,7 +277,7 @@ append config { append_if $use_usb config { - + diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run index ce89cbcd84..ae0970bd23 100644 --- a/repos/ports/run/virtualbox.run +++ b/repos/ports/run/virtualbox.run @@ -86,7 +86,7 @@ append_if [expr $use_ps2] config { append_if [expr $use_usb] config { - + } append_if [expr $use_usb && ![have_spec muen]] config {