Skip to content
Snippets Groups Projects
  1. Nov 20, 2018
    • Eelco Dolstra's avatar
      Merge pull request #2216 from dtzWill/fix/curl-760-timeout · ebeea068
      Eelco Dolstra authored
      download: if there are active requests, never sleep for 10s
      ebeea068
    • Eelco Dolstra's avatar
      Fix typo · 5e64470b
      Eelco Dolstra authored
      5e64470b
    • Eelco Dolstra's avatar
      Merge pull request #2551 from KaiHa/kaiha/libreadline_option · 338fcec7
      Eelco Dolstra authored
      repl: give user the choice between libeditline and libreadline
      338fcec7
    • Kai Harries's avatar
      repl: give user the choice between libeditline and libreadline · de599733
      Kai Harries authored
      The goal is to support libeditline AND libreadline and let the user
      decide at compile time which one to use.
      
      Add a compile time option to use libreadline instead of
      libeditline. If compiled against libreadline completion functionality
      is lost because of a incompatibility between libeditlines and
      libreadlines completion function. Completion with libreadline is
      possible and can be added later.
      
      To use libreadline instead of libeditline the environment
      variables 'EDITLINE_LIBS' and 'EDITLINE_CFLAGS' have to been set
      during the ./configure step.
      
      Example:
      
        EDITLINE_LIBS="/usr/lib/x86_64-linux-gnu/libhistory.so /usr/lib/x86_64-linux-gnu/libreadline.so"
        EDITLINE_CFLAGS="-DREADLINE"
      
      The reason for this change is that for example on Debian already three
      different editline libraries exist but none of those is compatible the
      flavor used by nix. My hope is that with this change it would be
      easier to port nix to systems that have already libreadline available.
      de599733
    • Kai Harries's avatar
      repl: Remove code that was commented out · b289d86c
      Kai Harries authored
      b289d86c
  2. Nov 17, 2018
  3. Nov 16, 2018
  4. Nov 15, 2018
  5. Nov 13, 2018
  6. Nov 12, 2018
  7. Nov 09, 2018
  8. Nov 08, 2018
  9. Nov 07, 2018
  10. Nov 05, 2018
  11. Nov 01, 2018
  12. Oct 31, 2018
  13. Oct 30, 2018
  14. Oct 29, 2018
Loading