e77681921e
The VS Code team recently retired a deprecated domain used for VS Code downloads. This breaks update-vscode.sh and customized package installations (such as used by home-manager). The new domain name is the one preferred by the VS Code team, as stated in this GitHub issue: https://github.com/microsoft/vscode/issues/119822 |
||
---|---|---|
.. | ||
generic.nix | ||
update-vscode.sh | ||
update-vscodium.sh | ||
vscode.nix | ||
vscodium.nix | ||
with-extensions.nix |