Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Missing ${file.separator} ? #943

Closed
Yousha opened this issue Jul 6, 2018 · 1 comment
Closed

Missing ${file.separator} ? #943

Yousha opened this issue Jul 6, 2018 · 1 comment

Comments

@Yousha
Copy link

Yousha commented Jul 6, 2018

I think PHING is missing the built-in property ${file.separator} or something... which can be used as File separator

/ on Unix and \ on Windows

mydir${file.separator}anotherdir${file.separator}myfile.txt

@Yousha Yousha changed the title Missing ${host.fileseparator} ? Missing ${file.separator} ? Jul 6, 2018
@siad007
Copy link
Member

siad007 commented Jul 7, 2018

@Yousha thanks for reporting. You are absolute right that this system properties are missing. Therefor i added file.separator and path.separator to the master branch in 342b86b

@siad007 siad007 closed this as completed Jul 7, 2018
@siad007 siad007 added this to the 3.0.0-alpha2 milestone Jul 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

No branches or pull requests

2 participants