diff options
author | Bjorn Ove Hay Andersen | 2023-11-21 11:07:00 +0000 |
---|---|---|
committer | GitHub | 2023-11-21 11:07:00 +0000 |
commit | 47b6c4bc78d449e3586f28d26507bfc8fb8608e2 (patch) | |
tree | 3ad3f593efed0b27ed68cb20b95f8a34881552de /runtime/queries | |
parent | 3052050ee0388207048318fed0909e63a2c865f9 (diff) |
Resolve args.files before changing directory (#8676)
* Resolve args.files before changing directory
* Removed the open_cwd work-around now that the path is full
* If -w is specified, use that as the working directory
* Open the remaining files in the argument list, also when the first is a directory
* Use an iterator access the files argument
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions