diff options
| author | Jonathan GUILLOT <jonathan@joggee.fr> | 2024-01-24 13:29:19 +0000 |
|---|---|---|
| committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2024-01-26 16:06:29 +0000 |
| commit | b219e0c9ffeb1b9e7c7aa0cf9a7156fe8dd17fa9 (patch) | |
| tree | 2ce0d109920ab0ee7f20cc0e5749c068323c3d19 /scripts/lib/devtool/sdk.py | |
| parent | d46ca2a7765d244ab727fa20172ddc3138657a6e (diff) | |
| download | poky-b219e0c9ffeb1b9e7c7aa0cf9a7156fe8dd17fa9.tar.gz | |
udev-extraconf: fix unmount directories containing octal-escaped chars
USB devices are auto-mounted in a directory named like theirs labels.
Special characters like whitespace are octal-escaped in /proc/mounts
output. Using directly this output file as an argument for umount failed
and the mount directory can't be removed as still busy.
Using printf allows these special characters to be unescaped.
(From OE-Core rev: 37f17625d931a06888388682dc2b1f5a2d298125)
Signed-off-by: Jonathan GUILLOT <jonathan@joggee.fr>
Signed-off-by: Alexandre Belloni <alexandre.belloni@bootlin.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
Diffstat (limited to 'scripts/lib/devtool/sdk.py')
0 files changed, 0 insertions, 0 deletions