Skip to content

nix shell: Handle output paths that are symlinks#10467

Merged
thufschmitt merged 3 commits intoNixOS:masterfrom
edolstra:nix-shell-symlink
Apr 16, 2024
Merged

nix shell: Handle output paths that are symlinks#10467
thufschmitt merged 3 commits intoNixOS:masterfrom
edolstra:nix-shell-symlink

Conversation

@edolstra
Copy link
Member

Motivation

This requires moving resolveSymlinks() into SourceAccessor. Also, it requires LocalStoreAccessor::maybeLstat() to work on parents of the store (to avoid an error like "/nix is not in the store").

Fixes #10375.

Context

Priorities and Process

Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

This requires moving resolveSymlinks() into SourceAccessor. Also, it
requires LocalStoreAccessor::maybeLstat() to work on parents of the
store (to avoid an error like "/nix is not in the store").

Fixes NixOS#10375.
@github-actions github-actions bot added new-cli Relating to the "nix" command with-tests Issues related to testing. PRs with tests have some priority store Issues and pull requests concerning the Nix store labels Apr 10, 2024
Comment on lines +37 to +38
if (isDirOrInDir(store->storeDir, path.abs()))
return Stat{ .type = tDirectory };
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's not clear why this is needed (calling it with a parent of the store feels quite wrong).

I guess it should at least honor requireValidPath

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Because when following a symlink from one store path to another, resolveSymlinks() will stat the parents of those paths, so it will do a maybeLstat("/nix") and maybeLstat("/nix/store"). Those are not valid store paths so it failed.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I've been thinking about whether stores' source accessors should prefix everything with the store directory or not, and leaning towards "no".

This would be something not doing that helps with: the path is just xxxxxxxxxxxx-foo, no parent directories etc.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

makeMountedInputAccessor can be used to put put things in store directories if it matters.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#10510 Broke into new issue

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Given that #10510 isn't fixed, I think this is actually a fine fix for now.

@edolstra edolstra force-pushed the nix-shell-symlink branch from d9a6421 to 26a4688 Compare April 11, 2024 09:06
@edolstra
Copy link
Member Author

@thufschmitt Any other comments? Would be good to get this merged.

Comment on lines +70 to +106
CanonPath SourceAccessor::resolveSymlinks(
const CanonPath & path,
SymlinkResolution mode)
{
auto res = CanonPath::root;

int linksAllowed = 1024;

std::list<std::string> todo;
for (auto & c : path)
todo.push_back(std::string(c));

while (!todo.empty()) {
auto c = *todo.begin();
todo.pop_front();
if (c == "" || c == ".")
;
else if (c == "..")
res.pop();
else {
res.push(c);
if (mode == SymlinkResolution::Full || !todo.empty()) {
if (auto st = maybeLstat(res); st && st->type == SourceAccessor::tSymlink) {
if (!linksAllowed--)
throw Error("infinite symlink recursion in path '%s'", showPath(path));
auto target = readLink(res);
res.pop();
if (hasPrefix(target, "/"))
res = CanonPath::root;
todo.splice(todo.begin(), tokenizeString<std::list<std::string>>(target, "/"));
}
}
}
}

return res;
}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this can be deduped

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

With the code in src/libutil/file-path-impl.hh

See the implementation of canonPath in src/libutil/file-system.cc

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's not the job of this PR though. It just moves resolveSymlinks().

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

OK fair

Copy link
Member

@Ericson2314 Ericson2314 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this is OK for now, but I would really like Eelco to take on #10510 / #9852 / #9892 (comment) so we have a more robust solution for this stuff

@Ericson2314
Copy link
Member

Ericson2314 commented Apr 15, 2024

If you could take a stab at #10467 (review) @edolstra, I would be happy to take on this one per my plan above.

Oops, replied to this in the wrong PR! #10511 (comment) is what I meant. I still think we should merge this as-is.

@thufschmitt thufschmitt merged commit d2a07a9 into NixOS:master Apr 16, 2024
@edolstra edolstra deleted the nix-shell-symlink branch April 16, 2024 10:56
@tobim
Copy link
Contributor

tobim commented Apr 17, 2024

Would be great to have this backported.

@github-actions
Copy link

Successfully created backport PR for 2.21-maintenance:

@thufschmitt
Copy link
Member

Would be great to have this backported.

Uuuuh, I though this had arrived after the release. Created the backport, should be merged once the CI is green

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

Labels

new-cli Relating to the "nix" command store Issues and pull requests concerning the Nix store with-tests Issues related to testing. PRs with tests have some priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

nix shell fails if a derivation output is a symlink

4 participants