d-utils

commit

7302346f4726b718ce17d32b525187a820291e0c

parent

06a7ef3cdbff6b4b7aa5b80aebf43cab50521c31

Author

Tobias Bengfort <tobias.bengfort@posteo.de>

Date

2025-08-09 17:51

d-run: use --dev-bind for /dev/

Diffstat

1 files changed, 6 insertions, 1 deletions

diff --git a/d-run b/d-run

@@ -20,7 +20,12 @@ def make_volume(path, dir):
   20    20 	if mode not in ['ro', 'rw']:
   21    21 		raise ValueError(f'Invalid volume mode: {mode}')
   22    22 
   23    -1 	op = '--ro-bind' if mode == 'ro' else '--bind'
   -1    23 	if mode == 'ro':
   -1    24 		op = '--ro-bind'
   -1    25 	elif hostpath.startswith('/dev/'):
   -1    26 		op = '--dev-bind'
   -1    27 	else:
   -1    28 		op = '--bind'
   24    29 
   25    30 	return [op, hostpath, path]
   26    31