2017-01-20 10:57:15 +00:00
|
|
|
## @id $Id$
|
|
|
|
|
##
|
|
|
|
|
## This file has been added:
|
|
|
|
|
## - by bootstrap.sh
|
|
|
|
|
## - on Fri, 20 January 2017 11:56:47 +0100
|
|
|
|
|
## Feel free to change it or even remove and rebuild it, up to your needs
|
|
|
|
|
##
|
|
|
|
|
## 1 2 3 4 5 6 7 8
|
|
|
|
|
## 45678901234567890123456789012345678901234567890123456789012345678901234567890
|
|
|
|
|
|
|
|
|
|
# Use Ubuntu Universe Repository
|
2017-01-06 15:53:21 +00:00
|
|
|
repos+=("Ubuntu:::universe")
|
2017-01-20 10:57:15 +00:00
|
|
|
|
|
|
|
|
# Use Marc Wäckerlin's Repository, see https://dev.marc.waeckerlin.org
|
2017-01-06 15:53:21 +00:00
|
|
|
repos+=("Debian|Ubuntu:::https://dev.marc.waeckerlin.org/repository")
|
|
|
|
|
repos+=("openSUSE:::https://dev.marc.waeckerlin.org/repository/opensuse/marc-waeckerlin.repo")
|
|
|
|
|
repos+=("Fedora:::https://dev.marc.waeckerlin.org/repository/fedora/marc-waeckerlin.repo")
|
|
|
|
|
repos+=("CentOS:::https://dev.marc.waeckerlin.org/repository/centos/marc-waeckerlin.repo")
|
2015-12-26 00:13:22 +00:00
|
|
|
keys+=("https://dev.marc.waeckerlin.org/repository/PublicKey")
|
