riot-{web,desktop}: throw an error to use element-web

This approach has been discussed in #93774[1]. The application has been
completely rebranded and to avoid confusion, users should actively be
pointed to `element-*`.

[1] https://github.com/NixOS/nixpkgs/pull/93774#issuecomment-664077010
gstqt5
Maximilian Bosch 2020-07-24 17:27:30 +02:00
parent 1d097a6c9b
commit 888eb29a54
No known key found for this signature in database
GPG Key ID: 091DBF4D1FC46B8E
1 changed files with 4 additions and 2 deletions

View File

@ -449,8 +449,6 @@ mapAliases ({
rdiff_backup = rdiff-backup; # added 2014-11-23
rdmd = dtools; # added 2017-08-19
rhc = throw "deprecated in 2019-04-09: abandoned by upstream.";
riot-desktop = element-desktop; # added 2020-07-15
riot-web = element-web; # added 2020-07-15
rng_tools = rng-tools; # added 2018-10-24
robomongo = robo3t; #added 2017-09-28
rssglx = rss-glx; #added 2015-03-25
@ -711,4 +709,8 @@ mapAliases ({
sqldeveloper_18 = throw "sqldeveloper_18 is not maintained anymore!"; # added 2020-02-04
gcc-snapshot = throw "Marked as broken for >2 years, additionally this 'snapshot' pointed to a fairly old one from gcc7.";
/* Cleanup before 21.03 */
riot-desktop = throw "riot-desktop is now element-desktop!";
riot-web = throw "riot-web is now element-web";
})