Commit Graph

9 Commits

Author SHA1 Message Date
Timo Kaufmann
6591a70812 sqldeveloper: 17.2 -> 17.3 2017-10-14 18:27:54 -05:00
Timo Kaufmann
1e6662dc6a sqldeveloper: Add a detailed requireFile message 2017-10-14 18:13:25 -05:00
Timo Kaufmann
18774fb82b sqldeveloper: 4.1.1 -> 17.2.0 2017-09-27 18:36:37 -05:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809)
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
2017-08-01 22:03:30 +02:00
Peter Simons
10d196c7f1 sqldeveloper: update to version 4.1.1.19.59
I also switched the build to depend on openjdk instead of Oracle's proprietary
one. I'm open to suggestions on how to determine the proper value of $JAVA_HOME
in a jdk-agnostic fashion. Right now, I just hard-coded the proper choice for
openjdk.

* pkgs/development/tools/database/sqldeveloper/default.nix:
2015-09-10 16:47:43 +02:00
Antoine R. Dumont
a12dd8f6a1 Upgrade to latest stable
Upgraded the dependency to oracle's jdk8.
2015-05-26 19:30:19 +02:00
Pascal Wittmann
f99d5cf2fc Fixed some descriptions 2015-04-28 10:55:20 +02:00
Antoine R. Dumont
86062d7a95 Adapt code according to @lethalman's review
- Use ${bash}/bin/bash
- We cannot use oraclejre7 because sqldeveloper wants a jdk.
2015-03-13 13:49:26 +01:00
Antoine R. Dumont
c96aff8eb9 Add sqldeveloper derivation 2015-03-12 22:30:47 +01:00