diff options
Diffstat (limited to 'assets/package-manager/apt/sources.list')
| -rw-r--r-- | assets/package-manager/apt/sources.list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/assets/package-manager/apt/sources.list b/assets/package-manager/apt/sources.list index 1147787..39aeb9c 100644 --- a/assets/package-manager/apt/sources.list +++ b/assets/package-manager/apt/sources.list @@ -1,5 +1,6 @@ # A good config when you're in the Netherlands # TODO: Figure out a way to make it easier to set up local mirrors +# Maybe use http://httpredir.debian.org/ ? deb http://ftp.surfnet.nl/os/Linux/distr/debian/ jessie main contrib non-free deb-src http://ftp.surfnet.nl/os/Linux/distr/debian/ jessie main contrib |