1. 29 May, 2018 1 commit
  2. 02 Jan, 2017 1 commit
  3. 05 Feb, 2016 1 commit
    • Ansgar Burchardt's avatar
      Always run "apt-get update" · da435c14
      Ansgar Burchardt authored
      When only leaf images are rebuilt, the Packages index might be outdated
      and refer to packages that no longer exist in the archive. Always
      running "apt-get update" before installing packages avoids this.
      
      Also remove contents of /var/lib/apt/lists as we no longer use it and it
      allows to keep the images slightly smaller.
      da435c14
  4. 26 Jan, 2016 1 commit
    • Ansgar Burchardt's avatar
      Add duneci/base images · 265c82eb
      Ansgar Burchardt authored
      These are useful to build packages that do not depend on the DUNE core
      modules like UG or the core modules themselves.
      265c82eb
  5. 25 Jan, 2016 1 commit