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.

Sign up for GitHub

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

Jump to bottom

Symlink treated as directory #9

Closed
1 task done
andreasabel opened this issue Aug 20, 2020 · 1 comment
Closed
1 task done

Symlink treated as directory #9

andreasabel opened this issue Aug 20, 2020 · 1 comment
Assignees
@andreasabel
Labels
bug Something isn't working upstream Issue in dependency
Milestone
0.0.10

Comments

@andreasabel
Copy link
Member

andreasabel commented Aug 20, 2020 •
edited
Loading

With these additional files in test/interaction,

/test/interaction$ tree issue-4828-NEve/
issue-4828-NEve/
├── src
│   └── Issue4828.agda
└── sym
    └── Issue4828.agda -> issue-4828-NEve/src/Issue4828.agda

I get this error:

$ fix-whitespace --check
fix-whitespace: .../test/interaction/issue-4828-NEve/sym/Issue4828.agda/: getDirectoryContents:openDirStream: does not exist (No such file or directory)

Seems like a symlink is treated as a directory somehow.

UPDATE: Blocked upstream:
@andreasabel andreasabel added bug Something isn't working PR welcome labels Jul 29, 2022
@andreasabel andreasabel mentioned this issue Jul 29, 2022
Closed
@andreasabel andreasabel added the upstream Issue in dependency label Jul 29, 2022
This was referenced Jul 29, 2022
Closed
Merged
andreasabel added a commit that referenced this issue Aug 21, 2022
@andreasabel
v0.0.10: use filepattern-0.1.3 (fixes #9)
fb8ff1d
@andreasabel andreasabel self-assigned this Aug 21, 2022
@andreasabel andreasabel added this to the 0.0.10 milestone Aug 21, 2022
@andreasabel
Copy link
Member Author

Fixed in filepattern-0.1.3. Bump published in fix-whitespace-0.0.10.

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

@andreasabel andreasabel

Labels
bug Something isn't working upstream Issue in dependency
Projects
None yet
Milestone
0.0.10
Development

No branches or pull requests
1 participant
@andreasabel