Skip to content

fix: update nix files to use strings instead of URL literals#2172

Merged
Kha merged 1 commit intoleanprover:masterfrom
ConnorBaker:fix/nix-no-url-literals
Mar 28, 2023
Merged

fix: update nix files to use strings instead of URL literals#2172
Kha merged 1 commit intoleanprover:masterfrom
ConnorBaker:fix/nix-no-url-literals

Conversation

@ConnorBaker
Copy link
Contributor

@ConnorBaker ConnorBaker commented Mar 27, 2023

@Kha

This PR changes URLs to strings by double-quoting them to move away from URL literals, which were deprecated by NixOS/rfcs#45.

Without this change, users with no-url-literals set to true are unable to create a flake from the template, or otherwise interact with the nix component of this repository.

As always, thank you for the nix support :)

@github-actions
Copy link
Contributor

Thanks for your contribution! Please make sure to follow our Commit Convention.

@ConnorBaker ConnorBaker force-pushed the fix/nix-no-url-literals branch from 88389b6 to a337779 Compare March 27, 2023 21:34
@ConnorBaker ConnorBaker force-pushed the fix/nix-no-url-literals branch from a337779 to 0f6acbb Compare March 27, 2023 21:41
@ConnorBaker ConnorBaker changed the title nix: don't use deprecated URL literals fix: update nix files to use strings instead of URL literals Mar 27, 2023
@Kha Kha merged commit 667d546 into leanprover:master Mar 28, 2023
@Kha
Copy link
Member

Kha commented Mar 28, 2023

Thanks!

@ConnorBaker ConnorBaker deleted the fix/nix-no-url-literals branch March 30, 2023 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants