• Home
• info.hupel
• isabellectl_2.11
• 1.1.0-RC3
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

abellectl_2.11.1.1.0-RC3.source-code.JEdit.scala Maven / Gradle / Ivy

package info.hupel.isabelle.cli

import scala.concurrent._

object JEdit extends Command {

  override def run(bundle: Bundle, args: List[String])(implicit ec: ExecutionContext): Future[Unit] = Future.successful {
    val logic = bundle.configuration.session
    val dirs = bundle.configuration.paths.flatMap(p => List("-d", p.toString))

    val cli = List("-l", logic) ::: dirs ::: args
    val rc = bundle.env.exec("jedit", cli)
    logger.info(s"Exited with status $rc")
  }

}