Profpatsch
4a7f99d55d
treewide: with stdenv.lib; in meta -> with lib;
...
Part of: https://github.com/NixOS/nixpkgs/issues/108938
meta = with stdenv.lib;
is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.
This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.
The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00
Bjørn Forsman
d0ecbe67b8
eclipses.plugins.cdt: fix hash
...
The last update had a copy-pasta error: the hash for jdt was also used
for cdt.
Fixes: 66a14b3e23
("eclipses: 2020-09 -> 2020-12")
2020-12-28 20:54:33 +01:00
mohe2015
56b0eb0c6f
eclipses.eclipse-rust: init at 2020-12
2020-12-20 19:25:29 +01:00
mohe2015
66a14b3e23
eclipses: 2020-09 -> 2020-12
2020-12-20 19:25:28 +01:00
Niklaus Giger
d955d0ad33
eclipses: add Eclipse IDE for RCP and RAP developers
2020-12-09 22:40:49 +01:00
MetaDark
4a5c49363a
fetchzip: remove write permissions for unpacked files
...
Fixes https://github.com/NixOS/nixpkgs/issues/38649
2020-11-26 15:30:12 -05:00
Matt McHenry
a7cad45d93
eclipses: 2020-06 -> 2020-09
2020-11-20 23:58:44 +01:00
Tim Neumann
16e15a2821
eclipse: add eclipse-committers
2020-06-25 21:42:25 +02:00
zowoq
c7e61112df
treewide: remove deprecated value Application
from makeDesktopItem
2020-06-25 12:18:37 +10:00
Matt McHenry
5383d2d32c
eclipses: 2020-03 -> 2020-06
...
PR #91113
2020-06-19 20:43:08 +02:00
Daniel Albert
2355d9d545
eclipse-scala-sdk: 4.4.1 -> 4.7.0
...
Unfortunately scala-ide is based on eclipse 4.7 (oxygen).
Thus is requires a java SDK 8 and GTK2.
2020-04-16 21:58:48 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Matt McHenry
05096867a5
eclipses: 2019-12 -> 2020-03
2020-03-23 23:11:18 +01:00
Bjørn Forsman
804fbc9c87
eclipses.plugins.cdt: fix source hash
2020-01-24 20:18:14 +01:00
Robert Helgesson
0c74d7b22e
eclipsePlugins.jdt: fix source hash
2020-01-19 22:54:05 +01:00
Giacomo Longo
6f7f88677b
eclipse: 19.09 -> 19.12 ( #76149 )
2019-12-22 14:59:39 +01:00
Matt McHenry
5b19d1e461
eclipses: 2019-06 -> 2019-09
2019-10-07 19:56:22 +02:00
Matt McHenry
fc15a97b7b
eclipses: 2018-12 -> 2019-06
2019-07-09 21:15:50 +02:00
Robert Helgesson
046d53c29c
eclipse-plugin-emacsplus: remove package
...
Unfortunately the upstream source has disappeared and the package is
no longer available anywhere.
2019-06-17 00:21:57 +02:00
Daniel Schaefer
92cccb6f83
treewide: Use HTTPS for readthedocs URLs
2019-04-22 20:46:18 +02:00
Daniel Schaefer
bac4d95aa2
treewide: Change URLs to HTTPS
...
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Robert Helgesson
48b5ad2739
Merge pull request #55575 from jerith666/eclipse-2018-12
...
eclipse: 2018-09 -> 2018-12
2019-02-20 19:15:02 +01:00
Matt McHenry
5e3bdd4242
eclipse.plugins.drools: init at 7.17.0
2019-02-16 10:52:08 +01:00
Matt McHenry
573d6dd011
eclipses: 2018-09 -> 2018-12
...
this also removes i686-linux support, as 2018-09 was the last release
officially supporting 32-bit
2019-02-11 14:12:56 -05:00
Matt McHenry
4f9089ad8e
eclipse: retire support for back-rev'd versions
...
with eclipse now on a once-per-quarter release, it makes less sense to
keep a lot of old versions around in nixpkgs. those who need them can
pin nixpkgs.
2019-02-11 14:12:56 -05:00
Robert Helgesson
2cd0061bbd
eclipse-plugin-spotbugs: 3.1.10 -> 3.1.11
2019-01-29 22:29:46 +01:00
Robert Helgesson
c076bd2233
Revert "eclipses: 4.9 -> 4.10"
...
This reverts commit 08bf7311f5
.
See https://github.com/NixOS/nixpkgs/pull/54390#issuecomment-455930334
2019-01-22 00:41:18 +01:00
Robert Helgesson
08bf7311f5
eclipses: 4.9 -> 4.10
...
This applies to Eclipse platform, SDK, and the JDT plugin.
2019-01-21 00:27:27 +01:00
Robert Helgesson
d30a200ab2
eclipse-plugin-spotbugs: 3.1.9 -> 3.1.10
2018-12-25 18:11:51 +01:00
Robert Helgesson
44f2569e50
eclipse-plugin-spotbugs: 3.1.8 -> 3.1.9
2018-11-28 20:50:18 +01:00
Robert Helgesson
874894b397
eclipse-plugin-spotbugs: 3.1.6 -> 3.1.8
2018-10-21 13:11:37 +02:00
Joakim Pettersvold
6fe0f07557
eclipses: add Eclipse IDE for Java Developers 4.9
2018-10-15 21:05:04 +02:00
Robert Helgesson
1bd1587342
eclipses: remove old platform and sdk version
...
This removes the old 4.6.2 version of eclipse-platform and
eclipse-sdk.
2018-09-27 20:50:52 +02:00
Robert Helgesson
b0ea289f4c
eclipses: 4.8 -> 4.9
...
This bumps eclipse-platform, eclipse-sdk, and eclipse-plugin-jdt to
version 4.9.
2018-09-27 20:50:48 +02:00
John Ericson
2c2f1e37d4
reewide: Purge all uses stdenv.system
and top-level system
...
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
Robert Helgesson
a01a52a2d7
eclipse-plugin-spotbugs: 3.1.5 -> 3.1.6
2018-07-26 15:43:59 +02:00
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
Robert Helgesson
cb96b8643c
eclipse-plugin-jdt-codemining: init at 1.0.0.201806221018
2018-07-02 17:37:17 +02:00
Robert Helgesson
8e78a9a68f
eclipse-plugin-jdt: 4.7.3a -> 4.8
2018-06-29 16:52:19 +02:00
Robert Helgesson
78601c097c
eclipse-sdk: 4.7.3a -> 4.8
2018-06-29 16:52:19 +02:00
Robert Helgesson
54f7949636
eclipse-platform: 4.7.3a -> 4.8
2018-06-29 16:52:14 +02:00
Robert Helgesson
b717ca8e45
eclipse-plugin-spotbugs: 3.1.3 -> 3.1.5
2018-06-20 20:24:45 +02:00
Robert Helgesson
d5dae23007
eclipse-plugin-jdt: 4.7.2 -> 4.7.3a
2018-05-15 18:52:58 +02:00
Robert Helgesson
726268db77
eclipse-sdk: 4.7.2 -> 4.7.3a
2018-05-15 18:52:58 +02:00
Robert Helgesson
9f20a5985d
eclipse-platform: 4.7.2 -> 4.7.3a
2018-05-15 18:52:58 +02:00
Robert Helgesson
88946527a5
eclipse-plugin-jsonedit: 1.1.0 -> 1.1.1
2018-05-08 23:20:15 +02:00
Robert Helgesson
f54a9994e3
eclipse-plugin-spotbugs: 3.1.2 -> 3.1.3
...
Also switch to using zipped update site provided on GitHub.
2018-04-24 22:58:15 +02:00
Matt McHenry
cb66a7468e
eclipse: jdk8 -> jdk10
...
in combination with the parent commit that makes jdk10 use gtk3, this
lets us get onto a current webkitgtk.
since the current version of webkitgtk is still receiving security
updates, this also reverts 49ea0e2736
"eclipse: Do not use webkitgtk2 by default".
2018-04-03 12:30:21 -04:00
Robert Helgesson
4dd5948134
eclipse-plugin-jsonedit: 1.0.2 -> 1.1.0
...
Also add `antlr-runtime-4.7.1`.
2018-03-16 23:28:50 +01:00
Robert Helgesson
f53c3ccf22
eclipse-plugin-spotbugs: 3.1.1 -> 3.1.2
2018-03-04 21:50:18 +01:00