[Nix-commits] [NixOS/nixpkgs] dcbb2b: teamviewer: keep RTlib directory
Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: dcbb2bf75149adb2ca33b773a85a54e6fddffb61 https://github.com/NixOS/nixpkgs/commit/dcbb2bf75149adb2ca33b773a85a54e6fddffb61 Author: Christoph-Simon Senjak <y...@example.com> Date: 2017-04-13 (Thu, 13 Apr 2017) Changed paths: M pkgs/applications/networking/remote/teamviewer/default.nix Log Message: --- teamviewer: keep RTlib directory Added the formerly deleted RTlib directory, included its patchelf commands. Beforehand the client failed, because TVGuiDelegate did not find all symbols. fixes #24862 ___ nix-commits mailing list nix-comm...@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-commits
[Nix-dev] TeamViewer process ends with "undefined symbol: _ZN10__cxxabiv120__unexpected_handlerE"
Hi. On my installation, the teamviewer GUI will start, but when trying to connect to a remote host, the main window of the GUI minimizes, but otherwise, nothing will happen, no error message, it is as if the connection was successfull, but it never starts. I have found one possible cause of this being the fact that a subprocess which TeamViewer tries to call (and successfully calls on a Debian Machine where I tested it) is in the directory share/teamviewer/tv_bin and called TVGuiDelegate. When I try to run it, it doesn't even get to the main method, but just outputs ./TVGuiDelegate: symbol lookup error: ./TVGuiDelegate: undefined symbol: _ZN10__cxxabiv120__unexpected_handlerE and in fact, no library in the rpath contains this symbol. On my Debian machine, it uses this function from a subdirectory "RTlib", which apparently is there to make it more system independent. However, in the nix package https://github.com/NixOS/nixpkgs/blob/master/pkgs/applications/networking/remote/teamviewer/default.nix on line 39, this directory is deleted, probably because these libraries should be provided from other nix packages. But the ones from nix do not expose the symbol _ZN10__cxxabiv120__unexpected_handlerE, according to readelf, while the ones in RTlib do. Maybe it would be a good idea to add an option to the packge to use its own library rather than system packages. Any help on this issue would be appreciated, especially by the maintainers. Best Regards, Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Trying to compile palemoon with gcc49
Hi. I have some bug in the palemoon browser, which I already asked in the palemoon forum [1]. The compile flags can be viewed in about:buildconfig, I attached it to this mail. It apparently uses gcc 5.4.0. So I was trying to override this package in my ~/config.nix. I have the channel [2] named "unstable" for this user, and the system wide channel [3] as "nixos". My current ~/config.nix I pasted in [4]. The error message is error: attribute ‘palemoon’ missing, at /home/christoph/.nixpkgs/config.nix:33:16 which apparently means that it cannot find pkgs.palemoon. This might be due to the fact that palemoon is only in the unstable channel, not in the nixos one. So I would appreciate your help with these two questions: 1. how can I override packages from the unstable channel? 2. probably it would be a good thing to compile palemoon with gcc49 by default if it's true that there are known problems with newer gcc versions. Kind Regards, Christoph-Simon Senjak [1]:https://forum.palemoon.org/viewtopic.php?f=57=15296=1 [2]:https://nixos.org/channels/nixos-unstable [3]:https://nixos.org/channels/nixos-16.09 [4]:http://lpaste.net/3110338289819713536 Title: about:buildconfig about:buildconfig Build Machine Build platform target x86_64-unknown-linux-gnu Build tools Compiler Version Compiler flags gcc 5.4.0 -Wall -Wdeclaration-after-statement -Wempty-body -Wpointer-to-int-cast -Wsign-compare -Wtype-limits -Wno-unused -Wcast-align -std=gnu99 -fgnu89-inline -fno-strict-aliasing -ffunction-sections -fdata-sections -fno-math-errno -pthread -pipe g++ 5.4.0 -Wall -Wempty-body -Woverloaded-virtual -Wsign-compare -Wwrite-strings -Wno-invalid-offsetof -Wcast-align -fno-exceptions -fno-strict-aliasing -fno-rtti -ffunction-sections -fdata-sections -fno-exceptions -fno-math-errno -std=gnu++0x -pthread -pipe -DNDEBUG -DTRIMMED -g -O2 -fomit-frame-pointer Configure arguments --enable-release --prefix=/nix/store/wb0f3rjvsksynyw0m0gq3i9rvfrg2pkk-palemoon-27.2.1 --enable-application=browser --enable-official-branding --enable-optimize=-O2 --enable-jemalloc --enable-shared-js --disable-tests ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Teamviewer will not connect to remote machine
Hi. I am trying to use the TeamViewer client on NixOS. I added `teamviewer` to my `environment.systemPackages` in `configuration.nix`, and set services.teamviewer.enable = true; Mostly, after boot, the client complains about no network connection being available, but after restarting teamviewerd, I can log in to my account. However, after when I select my remote machine, and try to connect to it, the teamviewer main window minimizes, but no remote connection window shows, as it would do normally. My first guess is that, since everything is in wine, there is some problem with spawning another windows process. However, I have now idea how to confirm that. It works inside my Win10 VM and it works inside my Debian VM, so it cannot be a problem with my account or remote machine. I would appreciate any help. I don't even know how to further investigate on this problem. Journalctl does not say anything, and the stdout of teamviewer also has no info. The gui.log sais, when trying to connect, fixme:nls:GetGeoInfoW -1 4 0x1dee2ec 3 0 fixme:nls:GetGeoInfoW -1 4 0x1dee2ec 3 0 fixme:nls:GetGeoInfoW -1 4 0x1dee2ec 3 0 fixme:nls:GetGeoInfoW -1 4 0x1dee2ec 3 0 fixme:nls:GetGeoInfoW -1 8 (nil) 0 0 The file TeamViewer12_Logfile.log contains lots of entries like 2017/03/17 16:41:35.393 8 9 GX0! TeamViewer.exe: unable to send command 7 2017/03/17 16:41:36.393 8 9 GX0! TeamViewer.exe: unable to send command 7 2017/03/17 16:41:37.393 8 9 GX0! TeamViewer.exe: unable to send command 7 Best Regards, Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Gajim and OMEMO
On 27.02.2017 17:31, laverne wrote: On Mon, 27 Feb 2017 09:35:59 -0600 *Christoph-Simon Senjak <christoph.sen...@googlemail.com>* wrote Hi. Has anyone managed to install Gajim with OMEMO-Support? Checkout the thread here: https://github.com/NixOS/nixpkgs/issues/21692 The easiest way to get it working seems to be the following (I'm sure there are better ways, but I'm too lazy to find them): - Checkout the lastest master branch of nixpkgs - Run `nix-env -f . -iA gajim` in the checkout - Launch Gajim and install the OMEMO plugin via the plugin manager - Maybe restart Gajim - Profit Since you have already installed the plugin via the plugin manager, you shouldn't need that step. Ok, that appears to work, thank you. I installed gajim with the plugin-manager (which I had to install manually), as apparently plugins are not packaged. Now, I normally use stable, that is, 16.09.1772.6e17350. When trying to activate the OMEMO plugin, it complains that I have to install python-axolotl. I tried the following in my ~/.nixpkgs/config.nix: packageOverrides = pkgs: rec { gajim_ = pkgs.stdenv.lib.overrideDerivation pkgs.gajim (old : { extraPythonPackages = with pkgs.pythonPackages; [ cryptography python-axolotl python-axolotl-curve25519 qrcode python-axolotl ]; }); ... }); and it runs and compiles, but still, I cannot activate the OMEMO plugin. Then I tried to use a shell and use the unstable tree, with the following default.nix: with import (builtins.toPath (builtins.getEnv "HOME" + "/nobackup/nixos-unstable/nixpkgs")) {}; runCommand "bash" { gajim_ = pkgs.stdenv.lib.overrideDerivation pkgs.gajim (old : { extraPythonPackages = with pkgs.pythonPackages; [ cryptography python-axolotl python-axolotl-curve25519 qrcode python-axolotl ]; }); buildInputs = [gajim_]; } "" when trying to build it, I get the error message running install tests python test/runtests.py process 19420: arguments to dbus_move_error() were incorrect, assertion "(dest) == NULL || !dbus_error_is_set ((dest))" failed in file dbus-errors.c line 282. This is normally a bug in some application using the D-Bus library. D-Bus not built with -rdynamic so unable to print a backtrace make: *** [Makefile:986: test] Aborted builder for ‘/nix/store/hkrakffkg0g3lahf6r9lq5in13nwcnrm-gajim-0.16.6.drv’ failed with exit code 2 error: build of ‘/nix/store/hkrakffkg0g3lahf6r9lq5in13nwcnrm-gajim-0.16.6.drv’ failed /run/current-system/sw/bin/nix-shell: failed to build all dependencies so I cannot really build anything with OMEMO support. I am really out of ideas now. How can this be done? Can somebody help, please? It would btw be nice to have a gajim-omemo package, as many other distros do, since OMEMO is such an essential feature. Best Regards Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl <mailto:nix-dev@lists.science.uu.nl> http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Gajim and OMEMO
Hi. Has anyone managed to install Gajim with OMEMO-Support? I installed gajim with the plugin-manager (which I had to install manually), as apparently plugins are not packaged. Now, I normally use stable, that is, 16.09.1772.6e17350. When trying to activate the OMEMO plugin, it complains that I have to install python-axolotl. I tried the following in my ~/.nixpkgs/config.nix: packageOverrides = pkgs: rec { gajim_ = pkgs.stdenv.lib.overrideDerivation pkgs.gajim (old : { extraPythonPackages = with pkgs.pythonPackages; [ cryptography python-axolotl python-axolotl-curve25519 qrcode python-axolotl ]; }); ... }); and it runs and compiles, but still, I cannot activate the OMEMO plugin. Then I tried to use a shell and use the unstable tree, with the following default.nix: with import (builtins.toPath (builtins.getEnv "HOME" + "/nobackup/nixos-unstable/nixpkgs")) {}; runCommand "bash" { gajim_ = pkgs.stdenv.lib.overrideDerivation pkgs.gajim (old : { extraPythonPackages = with pkgs.pythonPackages; [ cryptography python-axolotl python-axolotl-curve25519 qrcode python-axolotl ]; }); buildInputs = [gajim_]; } "" when trying to build it, I get the error message running install tests python test/runtests.py process 19420: arguments to dbus_move_error() were incorrect, assertion "(dest) == NULL || !dbus_error_is_set ((dest))" failed in file dbus-errors.c line 282. This is normally a bug in some application using the D-Bus library. D-Bus not built with -rdynamic so unable to print a backtrace make: *** [Makefile:986: test] Aborted builder for ‘/nix/store/hkrakffkg0g3lahf6r9lq5in13nwcnrm-gajim-0.16.6.drv’ failed with exit code 2 error: build of ‘/nix/store/hkrakffkg0g3lahf6r9lq5in13nwcnrm-gajim-0.16.6.drv’ failed /run/current-system/sw/bin/nix-shell: failed to build all dependencies so I cannot really build anything with OMEMO support. I am really out of ideas now. How can this be done? Can somebody help, please? It would btw be nice to have a gajim-omemo package, as many other distros do, since OMEMO is such an essential feature. Best Regards Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] PCI Expresscard not working under NixOS
Hi. I said in my first E-Mail that I tried the thing under Ubuntu, and that it is already the Expresscard Slot that NixOS does not recognize. Why do I get suggestions to try to plug in USB Hardware then, and try it under Ubuntu? Anyway, I tried it under Ubuntu und Arch, it worked, I diffed /proc/config.gz, and found some differences. Here are the kernel flags that I chose from it which now made it work (I have no idea which one it was, but I have no time to try it out exactly, because somehow the Kernel is only built singly-threaded, and this takes 5 hours every time): nixpkgs.config.packageOverrides = pkgs: { bluez = pkgs.bluez5; stdenv = pkgs.stdenv // { platform = pkgs.stdenv.platform // { kernelExtraConfig = '' HOTPLUG_PCI y HOTPLUG_PCI_PCIE y HOTPLUG_PCI_ACPI y GART_IOMMU y # PCMCIA y PCI_REALLOC_ENABLE_AUTO y ''; }; }; }; Regards, CSS On 07.02.2017 16:30, David Izquierdo wrote: And while you're at it, you should probably check `lspci -k` on the working system to see what kernel module it uses, in case it's missing from NixOS. On 07/02/17 12:26, Tomasz Czyż wrote: What about doing quick check and running ubuntu from livecd/usb to confirm if card still is alive? 2017-02-07 2:23 GMT+00:00 Roger Qiu <roger@matrix.ai <mailto:roger@matrix.ai>>: It might be a missing driver. Ultimately is the kernel, its drivers and modules that deal with hardware and IO. You might need to google around and ask specifically for the given pci expess hardware serial code and model. On 07/02/2017 9:39 AM, "Christoph-Simon Senjak" <christoph.sen...@googlemail.com <mailto:christoph.sen...@googlemail.com>> wrote: Hello. On 06.02.2017 06:36, Roger Qiu wrote: When you plug something in, the kernel log should show something. If it doesn't then the kernel doesn't know about it, nothing in the userspace can help. How can that be? Make sure you're running those commands before you plug the usb in. > Also I used to have faulty usb cables, but even then the kernel showed something. Usually repeating messages because the usb cable kept dropping out and coming back in. What happens if you plug those devices directly? The kernel does not notice the expresscard itself when I plug it in. My usb hard disk works perfectly under the other ports. Ah, and fun fact: When plugging in the expresscard, I can reproducibly scramble my sound output for a second (the music repeats for a second after I plug it in). Still, the kernel says nothing. And no device nodes appear. On 06/02/2017 2:55 PM, "Christoph-Simon Senjak" <christoph.sen...@googlemail.com <mailto:christoph.sen...@googlemail.com> <mailto:christoph.sen...@googlemail.com <mailto:christoph.sen...@googlemail.com>>> wrote: Hi. On 06.02.2017 04:46, Peter Hoeg wrote: Hi, My USB 3.0 Expresscard does not work under NixOS, it used to work under other distros. I already tried to add Can you be a little more specific about "does not work"? Nothing happens. Like, really nothing. No new hub is shown in lsusb (as it was under Ubuntu). Devices I plug in are not shown. Nothing. When you plug it in, what messages are you seeing while running these 2 commands in separate terminals: journalctl -k -f and udevadm monitor Nothing. No output. Regards, CSS ___ nix-dev mailing list nix-dev@lists.science.uu.nl <mailto:nix-dev@lists.science.uu.nl> <mailto:nix-dev@lists.science.uu.nl <mailto:nix-dev@lists.science.uu.nl>> http://lists.science.uu.nl/mailman/listinfo/nix-dev <http://lists.science.uu.nl/mailman/listinfo/nix-dev> <http://lists.science.uu.nl/mailman/listinfo/nix-dev <http://lists.science.uu.nl/mailman/listinfo/nix-dev>> ___ nix-dev mailing list nix-dev@lists.science.uu.nl <mailto:nix-dev@lists.science.uu.nl>
Re: [Nix-dev] PCI Expresscard not working under NixOS
Hello. On 06.02.2017 06:36, Roger Qiu wrote: When you plug something in, the kernel log should show something. If it doesn't then the kernel doesn't know about it, nothing in the userspace can help. How can that be? Make sure you're running those commands before you plug the usb in. > Also I used to have faulty usb cables, but even then the kernel showed something. Usually repeating messages because the usb cable kept dropping out and coming back in. What happens if you plug those devices directly? The kernel does not notice the expresscard itself when I plug it in. My usb hard disk works perfectly under the other ports. Ah, and fun fact: When plugging in the expresscard, I can reproducibly scramble my sound output for a second (the music repeats for a second after I plug it in). Still, the kernel says nothing. And no device nodes appear. On 06/02/2017 2:55 PM, "Christoph-Simon Senjak" <christoph.sen...@googlemail.com <mailto:christoph.sen...@googlemail.com>> wrote: Hi. On 06.02.2017 04:46, Peter Hoeg wrote: Hi, My USB 3.0 Expresscard does not work under NixOS, it used to work under other distros. I already tried to add Can you be a little more specific about "does not work"? Nothing happens. Like, really nothing. No new hub is shown in lsusb (as it was under Ubuntu). Devices I plug in are not shown. Nothing. When you plug it in, what messages are you seeing while running these 2 commands in separate terminals: journalctl -k -f and udevadm monitor Nothing. No output. Regards, CSS ___ nix-dev mailing list nix-dev@lists.science.uu.nl <mailto:nix-dev@lists.science.uu.nl> http://lists.science.uu.nl/mailman/listinfo/nix-dev <http://lists.science.uu.nl/mailman/listinfo/nix-dev> ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] PCI Expresscard not working under NixOS
Hi. On 06.02.2017 04:46, Peter Hoeg wrote: Hi, My USB 3.0 Expresscard does not work under NixOS, it used to work under other distros. I already tried to add Can you be a little more specific about "does not work"? Nothing happens. Like, really nothing. No new hub is shown in lsusb (as it was under Ubuntu). Devices I plug in are not shown. Nothing. When you plug it in, what messages are you seeing while running these 2 commands in separate terminals: journalctl -k -f and udevadm monitor Nothing. No output. Regards, CSS ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] PCI Expresscard not working under NixOS
Hi. My USB 3.0 Expresscard does not work under NixOS, it used to work under other distros. I already tried to add boot.kernelParams = [ "pciehp.pciehp_force=1 pciehp.pciehp_poll_mode=1" ]; and boot.initrd.luks.mitigateDMAAttacks = false; to /etc/nixos/hardware-configuration.nix, and nixpkgs.config.packageOverrides = pkgs: { stdenv = pkgs.stdenv // { platform = pkgs.stdenv.platform // { kernelExtraConfig = "HOTPLUG_PCI_PCIE y" ; }; }; }; to /etc/nixos/configuration.nix. This will recompile the kernel, but still, I cannot use it. Do you have any suggestion? With Best Regards, Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Trying to install the SailfishOS SDK
Hi. I am trying to write a package for the SailfishOS SDK. It can be downloaded from [1]. As this seems to be a graphical installer, I first want to run it manually (before trying to package it), so I ran a nix-shell in the following way: nix-shell --pure -p glibc -p freetype -p xorg.libXrender -p glib -p pkgconfig -p patchelf -p xorg.libX11 -p xorg.libXi -p xorg.libSM -p xorg.libICE -p fontconfig -p mesa -p gcc5 Furthermore, I ran several patchelf commands: patchelf --replace-needed libgobject-2.0.so.0 /nix/store/8n9yqcp590d005mp9xmsn4fkkn8nbb0b-glib-2.48.2/lib/libgobject-2.0.so.0 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libX11-xcb.so.1 /nix/store/04d88aazadyi6pr9ssyr16jr9bv90iiv-libX11-1.6.4/lib/libX11-xcb.so.1 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libXi.so.6 /nix/store/kjas1jj6hmkj8bwm86xds9xnhb4b9w6m-libXi-1.7.7/lib/libXi.so.6 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libSM.so.6 /nix/store/0ki1zd5icc1wxh8r0a3a8c2i12fvl8l2-libSM-1.2.2/lib/libSM.so.6 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libICE.so.6 /nix/store/8jzhn006vyp6vd2ksa1dnsdzbjxlb0bd-libICE-1.0.9/lib/libICE.so.6 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libxcb.so.1 /nix/store/iscdrla2wi6rvla9ndpxsy86qdzscyma-libxcb-1.12/lib/libxcb.so.1 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libfontconfig.so.1 /nix/store/nwaqrp0327cfcjwj1ms9cnpnkvccl9fl-fontconfig-2.11.1-lib/lib/libfontconfig.so.1 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libfreetype.so.6 /nix/store/blgfqhxdwh6mm2g7n663n7s9qcv1m40b-freetype-2.6.5/lib/libfreetype.so.6 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libXrender.so.1 /nix/store/cb9bwxsssd6dymmy095prc8sgpcaqjlb-libXrender-0.9.10/lib/libXrender.so.1 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libX11.so.6 /nix/store/04d88aazadyi6pr9ssyr16jr9bv90iiv-libX11-1.6.4/lib/libX11.so.6 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libglib-2.0.so.0 /nix/store/8n9yqcp590d005mp9xmsn4fkkn8nbb0b-glib-2.48.2/lib/libglib-2.0.so.0 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run patchelf --replace-needed libGL.so.1 /nix/store/fw5mpi91cqnjcp3f6skj2jgj1bwr5zkv-mesa-noglu-12.0.5/lib/libGL.so.1 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run Finally, after running patchelf --replace-needed libstdc++.so.6 /nix/store/fqx37fwx5g0c4m6zv9wb6d8cfblrrvi6-gcc-5.4.0-lib/lib/libstdc++.so.6 SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run I get the error message Inconsistency detected by ld.so: dl-version.c: 224: _dl_check_map_versions: Assertion `needed != NULL' failed! Any ideas what I could do about that? (I am using the stable branch of nixos) Best Regards, Christoph-Simon Senjak [1]:http://releases.sailfishos.org/sdk/installers/1611/SailfishOSSDK-Beta-1611-Qt5-linux-64-offline.run ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] python2nix not working
Hi. I would like to have the package [1] (which has not been packaged yet, neither any other mediawiki-libraries for python, apparently) in a nix-shell. I tried to use python2nix, but I get the following error message: $ python2nix wptools Traceback (most recent call last): File "/nix/store/alb0xq3d2rz5cvhsnycfqy6vvps7rf8i-python2nix-20140927/bin/.python2nix-wrapped", line 8, in from python2nix import main File "/nix/store/alb0xq3d2rz5cvhsnycfqy6vvps7rf8i-python2nix-20140927/lib/python2.7/site-packages/python2nix/__init__.py", line 5, in from python2nix import pip_deps File "/nix/store/alb0xq3d2rz5cvhsnycfqy6vvps7rf8i-python2nix-20140927/lib/python2.7/site-packages/python2nix/pip_deps.py", line 15, in from pip.log import logger ImportError: No module named log This appears to be some dependency problem, right? How can I fix this? Best Regards, Christoph-Simon Senjak [1]:https://github.com/siznax/wptools ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Proofgeneral in nix-Shell not working
Hi On 22.09.2016 19:32, Pavel Chuprikov wrote: Hi, I think that the problem is that the patch <https://github.com/NixOS/nixpkgs/blob/7475728593a49f09c4b7b959b15513aee38ab4b4/pkgs/applications/editors/emacs-modes/proofgeneral/pg.patch> from nixpkgs is not applied for version 4.2 of proofgeneral, but only for version 4.3pre. Due to this PGHOME is incorrectly set to MYDIR, instead of nix-provided PGHOMEDEFAULT. Ok, 4_3_pre works, thx. regards, CSS Regards, Pavel чт, 22 сент. 2016 г. в 16:01, Christoph-Simon Senjak <christoph.sen...@googlemail.com <mailto:christoph.sen...@googlemail.com>>: Hi. I am using several Coq- and Proofgeneral-Versions at once, in different shells. The problem is that the proofgeneral-command does not really work in nix-shells: Emacs complains that Cannot open load file: no such file or directory, /nix/store/44v7r61fx96avicggc1wdckch7fa42r9-ProofGeneral-4.2/generic/proof-site.el for example. I tracked this to a variable $PGHOME in the proofgeneral script. We have, in the corresponding file, PGHOMEDEFAULT=/nix/store/44v7r61fx96avicggc1wdckch7fa42r9-ProofGeneral-4.2/share/emacs/site-lisp/ProofGeneral and then some magic that appears that (should?) set PGHOME to PGHOMEDEFAULT. In the end, we have exec $EMACS $STARTUP -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))" -f proof-splash-display-screen "$@" But this is not correct, because the actual file is in /nix/store/44v7r61fx96avicggc1wdckch7fa42r9-ProofGeneral-4.2/share/emacs/site-lisp/site-start.d/pg-init.el A workaround is to directly use M-x load-file with the latter file, but it would be nice to fix this such that the proofgeneral command works again. Is this possible? Best Regards, Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl <mailto:nix-dev@lists.science.uu.nl> http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Proofgeneral in nix-Shell not working
Hi. I am using several Coq- and Proofgeneral-Versions at once, in different shells. The problem is that the proofgeneral-command does not really work in nix-shells: Emacs complains that Cannot open load file: no such file or directory, /nix/store/44v7r61fx96avicggc1wdckch7fa42r9-ProofGeneral-4.2/generic/proof-site.el for example. I tracked this to a variable $PGHOME in the proofgeneral script. We have, in the corresponding file, PGHOMEDEFAULT=/nix/store/44v7r61fx96avicggc1wdckch7fa42r9-ProofGeneral-4.2/share/emacs/site-lisp/ProofGeneral and then some magic that appears that (should?) set PGHOME to PGHOMEDEFAULT. In the end, we have exec $EMACS $STARTUP -eval "(or (featurep (quote proof-site)) (load \"$PGHOME/generic/proof-site.el\"))" -f proof-splash-display-screen "$@" But this is not correct, because the actual file is in /nix/store/44v7r61fx96avicggc1wdckch7fa42r9-ProofGeneral-4.2/share/emacs/site-lisp/site-start.d/pg-init.el A workaround is to directly use M-x load-file with the latter file, but it would be nice to fix this such that the proofgeneral command works again. Is this possible? Best Regards, Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Trying to package Mate
Hello. I am trying to create packages for the Mate Desktop Environment. Atril works already, but I would like to ask if some experienced maintainer (maybe from Gnome) could quickly look over them and give me some suggestions on how to make them better, etc. Link: https://github.com/dasuxullebt/nixpkgs/tree/upstream-master/pkgs/desktops/mate Regards, CSS ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Missing GeoIP databases
On 10.02.2015 20:01, Vladimír Čunát wrote: On 02/10/2015 07:50 PM, Christoph-Simon Senjak wrote: Is this intentional or is this a bug? I don't know - I don't see any attempt to put the data in there. I just noticed that ntopng does include some geoip data. (I've never used any of the above.) In other Distros, the database is mostly either included, or there is an extra package. CSS ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Missing GeoIP databases
Hello. I installed geoip, and GEOIPLOOKUP(1) says the databases should be in /nix/store/b952llxwhpd8046r40xkkkjgg1vmcw7q-geoip-1.6.2/share/GeoIP but ... they are not. Is this intentional or is this a bug? Best regards Christoph-Simon Senjak ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Proposed package for x2goclient
Hello. I am new to NixOS, and I am currently trying to build a package for the x2goclient. I brought it to a state where I can use it, but it would be nice if you could give me some comments about them. https://github.com/dasuxullebt/nixpkgs/blob/master/pkgs/applications/networking/remote/x2goclient/default.nix https://github.com/dasuxullebt/nixpkgs/blob/master/pkgs/tools/admin/nxproxy/default.nix https://github.com/dasuxullebt/nixpkgs/blob/master/pkgs/development/libraries/libxcomp/default.nix Many thanks CSS ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev