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

Handle spaces in filenames of gziped filenames #2268

Merged
merged 1 commit into from
Mar 20, 2018

Conversation

ChrisJefferson
Copy link
Contributor

@ChrisJefferson ChrisJefferson commented Mar 19, 2018

Wrap filenames we pass to gzip/gunzip via shell in single quotes,
so we handle spaces and some other characters which need escaping.

This does not handle all possible filenames which could cause a
problem, but hopefully covers most which will arise in practice.

Resolves #2264

Wrap filenames we pass to gzip/gunzip via shell in single quotes,
so we handle spaces and some other characters which need escaping.

This does not handle all possible filenames which could cause a
problem, but hopefully covers most which will arise in practice.
@codecov
Copy link

codecov bot commented Mar 19, 2018

Codecov Report

Merging #2268 into master will decrease coverage by <.01%.
The diff coverage is 57.14%.

@@            Coverage Diff             @@
##           master    #2268      +/-   ##
==========================================
- Coverage   70.57%   70.57%   -0.01%     
==========================================
  Files         481      481              
  Lines      253237   253239       +2     
==========================================
  Hits       178728   178728              
- Misses      74509    74511       +2
Impacted Files Coverage Δ
src/sysfiles.c 36.85% <100%> (+0.04%) ⬆️
src/profile.c 36.04% <25%> (-0.13%) ⬇️
hpcgap/lib/hpc/stdtasks.g 38.61% <0%> (-0.26%) ⬇️

@fingolfin
Copy link
Member

I took the liberty of adding "Resolves #2264" to your PR description, so that merging this PR will close the associated issue.

@fingolfin fingolfin added the kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements label Mar 20, 2018
@fingolfin fingolfin added this to the GAP 4.10.0 milestone Mar 20, 2018
@fingolfin fingolfin merged commit c36f87d into gap-system:master Mar 20, 2018
@ChrisJefferson ChrisJefferson deleted the filename-space branch March 28, 2018 22:23
@RussWoodroofe
Copy link
Contributor

Would this be a good candidate to backport for gap 4.9.2? It seems unlikely to do much harm.

@fingolfin fingolfin added the release notes: added PRs introducing changes that have since been mentioned in the release notes label Sep 20, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: added PRs introducing changes that have since been mentioned in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants