1
0
mirror of https://github.com/nicoverbruggen/phpmon.git synced 2025-11-09 05:40:07 +01:00

🐛 Start a "clean" terminal every time (#99)

(Backported for the stable build.)
This commit is contained in:
2022-01-27 00:34:54 +01:00
parent 38c2d9131b
commit 1e15042be2
2 changed files with 5 additions and 5 deletions

View File

@@ -91,7 +91,7 @@ class Shell {
: command
task.launchPath = self.shell
task.arguments = ["--login", "-c", tailoredCommand]
task.arguments = ["--noprofile", "-norc", "--login", "-c", tailoredCommand]
task.standardOutput = outputPipe
task.standardError = errorPipe
task.launch()