Skip to content
This repository has been archived by the owner on Aug 16, 2023. It is now read-only.

leaving the quoting up to the success command #173

Closed
wants to merge 1 commit into from

Conversation

hhaensel
Copy link
Contributor

@hhaensel hhaensel commented Jul 19, 2019

Maybe, the problem on some machines comes from different usage of quotes in different environments.
I propose to first define the julia script and have the quoting done by the underlying run command of success.
@davidanthoff thanks for your input. I didn't have a computer at hand to test, that's why I was asking for your help.
As David kindly prooved, powershell and cmd need different quotation marks. (Maybe different systems are using different backends? - Well I am speculating ...)
@davidanthoff could you test this version? At least for me it doesn't break things.

EDIT:
This PR refers to the issues #170 and #172 and Nemocas/Nemo.jl#600

@hhaensel
Copy link
Contributor Author

As quoting was not the problem, I think we can close this

@hhaensel hhaensel closed this Jul 27, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant