shell style fix #5

2 commits merged into from Feb 7, 2013


None yet
3 participants

timurb commented Feb 7, 2013

Fixes for shell coding style and for potential errors with space in $HOME etc.

This should work but it is completely untested. Please check on real mac if it works ok.


This comment has been minimized.

Show comment
Hide comment

timurvafin Feb 7, 2013




timurvafin commented Feb 7, 2013


ghost pushed a commit that referenced this pull request Feb 7, 2013

@ghost ghost merged commit 0b7602e into master Feb 7, 2013

@ghost ghost deleted the fix_shell_coding_style branch Feb 7, 2013

This issue was closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment