Romain Vimont 4755b97908 Fix bash auto-completion handling
Options having an argument impossible to auto-complete must be handled
separately.
2023-03-14 23:51:48 +01:00
..
2023-03-14 23:51:48 +01:00
2023-03-12 12:45:49 +01:00
2023-03-12 02:04:57 +01:00
2023-03-10 22:22:15 +01:00
2023-03-12 02:05:37 +01:00
2023-03-12 02:04:58 +01:00