Code

Enhancements for WSL support#138

Code

Merged

PEZ merged 4 commits intoBetterThanTomorrow:masterBetterThanTomorrow/calva:masterfrom andresrgz:wsl-enhancementsCopy head branch name to clipboardMar 3, 2019

+55-32

Commits

Commits on Mar 3, 2019

• Rename useJokerOnWSL to useWSL and change description of jokerPath in configurations

  

  andresrgz

  committed
  14ffa8c

  Copy full SHA for 14ffa8c

• Add WslDefinitionProvider

  

  andresrgz

  committed
  811e775

  Copy full SHA for 811e775

• Use wsl-path library when sending file path to Joker

  andresrgz

  committed
  0cc7998

  Copy full SHA for 0cc7998

• Handle jar file paths sent from WSL

  

  andresrgz

  authored and

  andresrgz

  committed
  d9d6157

  Copy full SHA for d9d6157