src/Pure/Tools/phabricator.scala

 
   sealed case class Config(name: String, root: Path) {
     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, redirect = true).check
 
     def webroot: String = home.implode + "/webroot"
   }
 
   def read_config(): List[Config] = {

             progress.echo("phabricator " + quote(config.name) + " root " + config.root)
           }
         }
         else {
           val config = get_config(name)
-          val result = progress.bash(Bash.strings(more_args), cwd = config.home.file, echo = true)
+          val result = progress.bash(Bash.strings(more_args), cwd = config.home, echo = true)
           if (!result.ok) error(result.print_return_code)
         }
       })
 
 

         else Path.explode(mercurial_source)
 
       Isabelle_System.extract(archive, tmp_dir)
       val build_dir = File.get_dir(tmp_dir, title = mercurial_source)
 
-      progress.bash("make all && make install", cwd = build_dir.file, echo = true).check
+      progress.bash("make all && make install", cwd = build_dir, echo = true).check
     }
   }
 
   def phabricator_setup(
     options: Options,

     }
 
     Isabelle_System.chown(Bash.string(www_user) + ":" + Bash.string(www_user), root_path)
     Isabelle_System.chmod("755", root_path)
 
-    progress.bash(cwd = root_path.file, echo = true,
+    progress.bash(cwd = root_path, echo = true,
       script = """
         set -e
         echo "Cloning distribution repositories:"
 
         git clone --branch stable https://we.phorge.it/source/arcanist.git

 
     config.execute("config set phabricator.cache-namespace " + Bash.string(mysql_name))
     config.execute("config set storage.default-namespace " + Bash.string(mysql_name))
     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, echo = true).check
 
 
     /* database dump */
 
     val dump_name = isabelle_phabricator_name(name = "dump")

 WantedBy=multi-user.target
 """)
     }
     catch {
       case ERROR(msg) =>
-        progress.bash("bin/phd status", cwd = config.home.file, echo = true).check
+        progress.bash("bin/phd status", cwd = config.home, echo = true).check
         error(msg)
     }
   }
 
 

       progress.echo("Using mail configuration from " + mail_config)
       config.execute("config set cluster.mailers --stdin < " + File.bash_path(mail_config))
 
       if (test_user.nonEmpty) {
         progress.echo("Sending test mail to " + quote(test_user))
-        progress.bash(cwd = config.home.file, echo = true,
+        progress.bash(cwd = config.home, echo = true,
           script = """echo "Test from Phabricator ($(date))" | bin/mail send-test --subject "Test" --to """ +
             Bash.string(test_user)).check
       }
     }