Merge pull request #351 from jpnurmi/shell

fix: use bash instead of $SHELL
canonical · Jul 27, 2023 · a618368 · a618368
2 parents e00a70d + e77c8d0
commit a618368
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/launcher/feature_model.dart b/lib/launcher/feature_model.dart
@@ -47,7 +47,7 @@ class FeatureModel extends SafeChangeNotifier {
         ..._image.properties,
         'user.workshops.features': _features.map((f) => f.name).join(','),
         'user.workshops.name': user ?? 'root',
-        'user.workshops.shell': Platform.environment['SHELL'] ?? '',
+        'user.workshops.shell': '/bin/bash',
         'user.workshops.home': home ?? '/root',
         'user.workshops.gpu': 'physical',
         'user.workshops.x11': Platform.environment['DISPLAY'] ?? ':0',