--- a/src/Pure/Tools/phabricator.scala Tue Nov 12 16:12:03 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala Tue Nov 12 16:17:25 2019 +0100
@@ -69,7 +69,7 @@
def home: Path = root + Path.explode(phabricator_name())
def execute(command: String): Process_Result =
- Isabelle_System.bash("./bin/" + command, cwd = home.file, redirect = true).check
+ Isabelle_System.bash("bin/" + command, cwd = home.file, redirect = true).check
}
def read_config(): List[Config] =
@@ -266,7 +266,7 @@
config.execute("config set storage.mysql-engine.max-size 8388608")
- progress.bash("./bin/storage upgrade --force", cwd = config.home.file, echo = true).check
+ progress.bash("bin/storage upgrade --force", cwd = config.home.file, echo = true).check
/* SSH hosting */
@@ -451,7 +451,7 @@
if (test_user.nonEmpty) {
progress.echo("Sending test mail to " + quote(test_user))
progress.bash(cwd = config.home.file, echo = true,
- script = """echo "Test from Phabricator ($(date))" | ./bin/mail send-test --subject "Test" --to """ +
+ script = """echo "Test from Phabricator ($(date))" | bin/mail send-test --subject "Test" --to """ +
Bash.string(test_user)).check
}
}