6 Commits

Author	SHA1	Message	Date
Wesley Collin Wright	e77681921e	vscode: fix upstream domain name ... 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	2021-03-25 18:57:00 -05:00
Samuel Ainsworth	bbc0f1cbb3	vscode: fix update script (#110096) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2021-02-01 13:03:03 +01:00
Drew Risinger	f0f18ad16c	vscode: add arm64-linux & armv7l-linux builds	2020-12-24 13:32:02 -05:00
Manuel Bärenz	40c84bd392	vscode, vscodium: Document update scripts	2020-10-16 11:14:43 +02:00
Samuel Ainsworth	20a938ab90	vscode: chmod +x update-vscode.sh	2020-10-13 18:28:17 -07:00
Samuel Ainsworth	1692e2cbb5	vscode/vscodium: split update scripts ... Split up the vscode update.sh into separate vscode/vscodium update scripts. Recently the versions of vscode and vscodium have diverged (see VSCodium/vscodium#501), meaning that the updates for one package fail while the other succeeds. This PR splits up the update scripts so that one can be run with out the other and vice-versa.	2020-09-14 11:22:34 -07:00