Commit Graph
35454 Commits
Author SHA1 Message Date
Marco Maggesi d9aa18843b ProofGeneral: Workaround for bug #458
"ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90"
http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
2013-04-23 14:09:10 +02:00
Pascal Wittmann b6e7d86525 Lighttpd: Enable SSL
With this patch support for SSL is compiled into lighttpd.

IMO encryption is in most use cases important, therefore SSL support should be build in. This would simplify the setup of a standard web application a lot.
 
SSL support of lighttpd is documented at  
  http://redmine.lighttpd.net/projects/1/wiki/Docs_SSL
2013-04-23 14:30:57 +03:00
Eelco Dolstra cddad771c5 Revert "experimental/shadow"
This reverts commit 788e760b51.  NixOS
doesn't even have an /etc/skel.  And if we had, 1) NixOS has the
ability to create regular files rather than symlinks in /etc
(environment.etc.<file>.mode = ...), so files in /etc/skel that should
be copied as regular files can be supported; and 2) we may actually
*want* to copy a symlink.

Also, typos in file names.  Bleh.
2013-04-23 13:04:17 +02:00
Rok Garbas f1184916dd Merge pull request #477 from coroa/offlineimap
offlineimap: enable support for the sqlite status backend
2013-04-23 03:47:15 -07:00
Peter Simons acd879f36f xxdiff: update to current HEAD of the source repository 2013-04-23 12:11:58 +02:00
Lluís Batlle i Rossell 031d1ee8c5 Merge branch of 'hatari' 2013-04-23 11:06:17 +04:00
Lluís Batlle i Rossell 7ca16e5115 hatari: fix pthread_cancel+gcc_s thing, and some spacing 2013-04-23 11:05:46 +04:00
Michael Raskin ad214d8d0c Merge pull request #473 from errge/master
Update ack to 2.02 (and File-Next to 1.12, only used by ack)
2013-04-22 22:38:35 -07:00
Michael Raskin bc623ee480 Merge pull request #471 from vcunat/p/xorg
xorg updates
2013-04-22 22:38:05 -07:00
Michael Raskin b1ff6273d9 Merge pull request #468 from zefhemel/dartsdk
Added Google Dart M4
2013-04-22 22:34:18 -07:00
Michael Raskin 0aad0af30a Merge pull request #459 from MarcWeber/submit/shadow
make useradd -m create ~/.bashrc as file, not as symlink pointing to the store
2013-04-22 22:33:20 -07:00
Michael Raskin f328c45b25 Merge pull request #440 from bbenoist/master
php: add FTP support by default
2013-04-22 22:31:57 -07:00
Michael Raskin b98ece6bc2 Auto-update some packages; no early build failures (SBCL and Wine not yet fully built) 2013-04-23 09:15:48 +04:00
Cillian de Róiste 43dfc290ea Distrho: fix build: pin premake to version 3 2013-04-22 23:40:06 +02:00
Rok Garbas 7b9fc733dd python-deform: unittest2 needed on python 26 2013-04-22 22:57:58 +02:00
Florian Friesdorf b67cf97f5c Revert "let hydra also build python26Packages"
This reverts commit a2ddd3643e.

@peti pointed out that python2.6 packages are now prefered over
python2.7. In a local test it was the other way round. seems to be
arbitrary or I messed up the test.
2013-04-22 22:49:40 +02:00
Jordi 019472eaa3 Add hatari Atari St emulator. 2013-04-22 22:10:15 +02:00
Bjørn Forsman ec13407807 nixos-install: fix error message consistency
The test is for path A but the error message says path B. Fix it.
2013-04-22 22:06:27 +02:00
Mathijs Kwik 40502b492d magit: fix download url 2013-04-22 21:44:04 +02:00
Lluís Batlle i Rossell b4af56d376 lightdm: improving a bit the indentation. 2013-04-22 23:32:11 +04:00
Oliver Charles 2e088aa277 lightdm: Initial expression for lightdm as the display-manager service (using default GTK greeter) 2013-04-22 23:32:10 +04:00
Domen Kozar ec9dc730ec restart networkmanager on suspend resume 2013-04-22 19:36:14 +02:00
viric 4311ba66e0 Merge pull request #474 from logann2019/autocutsel
Autocutsel
2013-04-22 10:32:37 -07:00
Jordi 97de12b58e Fix indention, remove maintainers. 2013-04-22 19:23:50 +02:00
Eelco Dolstra 4539668937 php: Add 5.4
We'll keep 5.3 around for a while.
2013-04-22 19:17:35 +02:00
Eelco Dolstra 447691836a Create a /etc/zoneinfo symlink and use it in $TZDIR
Setting $TZDIR to ${pkgs.tzdata}/share/zoneinfo can cause logged-in
sessions to refer to a garbage-collected zoneinfo directory.  So use
/etc/zoneinfo instead.
2013-04-22 19:08:16 +02:00
Lluís Batlle i Rossell 2e8cab953a libextractor: make gtk support work again
It wanted gtk3.

It does not understand gstreamer 0.10, though.
2013-04-22 20:57:14 +04:00
Lluís Batlle i Rossell 078ddf4746 Adding doodle. 2013-04-22 20:57:14 +04:00
Eelco Dolstra 945849b86f Don't set $TZ
We don't need to set $TZ, because we have /etc/localtime.  In fact,
setting $TZ without $TZDIR doesn't work anymore since Glibc no longer
contains zone info.
2013-04-22 18:56:19 +02:00
Rickard Nilsson 51bf1ae795 munge 0.5.10: New package, a credentials handler for clusters 2013-04-22 16:04:41 +02:00
Eelco Dolstra f2aaed44aa git: Properly use symlinks instead of hard links
Git's Makefile has a NO_INSTALL_HARDLINKS flag to produce symlinks
instead of hard links.  However, it still produces hard links between
$out/bin and $out/libexec, hence the patch.

Also, update Git to 1.8.2.1.
2013-04-22 15:55:01 +02:00
Evgeny Egorochkin fa0f5bf72f Freenet: fix 2 typos 2013-04-22 16:50:58 +03:00
Eelco Dolstra 6ee8bca8ee Revert "git: fix build on FreeBSD"
This reverts commit ab98d72fad, which
caused the size of the Git package in the store to increase from 18
MiB to 190 MiB.
2013-04-22 15:26:26 +02:00
Mathijs Kwik ae2f280b67 cron: set TZDIR so cron is able to find the TZ 2013-04-22 14:24:15 +02:00
Mathijs Kwik 006f328877 virtual network interfaces: make systemd aware of the relation between device and service
If I want to bring down tap0.service (or systemd wants to do this
during a configuration-change which changes the path to tunctl),
openvpn (or other services using tap0) need to be brought down as
well, otherwise tunctl -d is not able to remove the tap0 device,
leaving it in a failed (but "up") state.
2013-04-22 14:24:15 +02:00
Mathijs Kwik 8de00c328a systemd: add "requiredBy" option.
"require" is a stronger version of "want",
and just like wantedBy allows you to specify this relation in reverse,
requiredBy does the same.

It may seem pointless to be able to specify these stronger relations in
reverse, because if something is really required, you would expect the
other unit to specify this himself.

However, this is still useful for virtual/automatic units (like
devices) that are created by systemd on demand and hence have no unit
file you can alter.
2013-04-22 14:24:15 +02:00
Peter Simons 56b504a1cd Merge pull request #476 from coroa/emacs-jedi-deps
Add python packages necessary for emacs-jedi
2013-04-22 05:21:48 -07:00
Peter Simons 6626810adb haskell-hashable: update to version 1.2.x
Except for Agda, which still needs old version.
2013-04-22 14:14:39 +02:00
Peter Simons 9faf34d0a8 pkgs/top-level/release-haskell.nix: cosmetic 2013-04-22 14:14:39 +02:00
Peter Simons 1cc5307410 haskell-haskeline: drop obsolete version 0.6.4.7 2013-04-22 14:14:39 +02:00
Peter Simons e4c7930b48 haskell-hashable-1.2.0.6: the test suite doesn't compile 2013-04-22 14:14:39 +02:00
Peter Simons afd37640e7 haskell-hlint: update to version 1.8.44 2013-04-22 14:14:39 +02:00
Peter Simons 5a28754957 haskell-hashable: add version 1.2.0.6 2013-04-22 14:14:39 +02:00
Florian Friesdorf a2ddd3643e let hydra also build python26Packages
for `nix-env -i` the later defined python27Packages seems to win.
Another solution might be to have python26 oder python27 either in the
name or the version. Let's have a look at haskelPackages for that.
2013-04-22 13:56:29 +02:00
Jonas Hoersch ea3dc7a6ea Add python-epc-0.0.3: EPC implementation in Python 2013-04-22 11:30:32 +02:00
Jonas Hoersch 85d2971a2e Add python-sexpdata-0.0.2: S-expression parser for Python 2013-04-22 11:30:17 +02:00
Jonas Hoersch dbe6dcd8af python-argparse: update to 1.2.1 2013-04-22 11:25:37 +02:00
Florian Friesdorf b6c87f9f29 python-packages: python2.6 fixes 2013-04-22 11:17:23 +02:00
Florian Friesdorf 3c1b5246ad python-requests-1.2.0 2013-04-22 11:16:42 +02:00
Peter Simons 8c702b7c28 Merge pull request #147 from offlinehacker/nameservers
Static nameservers should have precedence
2013-04-22 02:16:11 -07:00