please support manual entry for mirror

[jonassmedegaard]

I would like to use my local approx - so would want to use e.g. 192.168.1.152:9999 as mirror.

Please make it possible to add a custom mirror (e.g. as a config item, to keep UI as-is).

After changing the other settings as you like, you can just edit create-debian-setup.sh
Underneath the line . $app_bin/install.conf

#IIRC (just make sure it's in the same format as install.conf)
mirror=http://foo.com/debian

Editing install.conf won't help you because it gets overwritten when you start the install.

[Jcfunk]

edit install.conf and change permisions to read only

chmod 444 install.conf

[bernhardu]

As far as I see 'install.conf' is just available after the first installation attempt.
Therefore the proposal by lope worked for me:

/data/data/info.guardianproject.lildebi/app_bin/create-debian-setup.sh

--- create-debian-setup.sh.orig 2016-09-10 13:30:15.952076316 +0200
+++ create-debian-setup.sh      2016-09-10 13:30:12.296190762 +0200
@@ -16,6 +16,7 @@ test -e $1/lildebi-common || exit 1

 # include installation-specific settings like mirror and arch
 . $app_bin/install.conf
+mirror=http://192.168.178.25:9999/debian-armel-ftp.de.debian.org


 #------------------------------------------------------------------------------#

@bernhardu great, please make a pull request if you feel you have something ready and useful for others.

[bernhardu]

@Lope. No, it is nothing comittable. Just wanted to be a little more verbose on the workaround for first installs.

[Jcfunk]

Would edit to use
httpredir.debian.org

The redirector aims to solve the problem of choosing a Debian mirror. It uses the geographic and network location of the user and the mirrors, the architecture of the requested files, IP address family, the availability and freshness of the mirrors, and a few other things.

[bernhardu]

@Jcfunk: user jonassmedegaard asked for a local proxy (approx)
Either we have just small connections or want to relieve the pressure on the mirrors ... ;-)

[jonassmedegaard]

Quoting Jcfunk (2016-09-15 23:18:11)

Would edit to use
httpredir.debian.org

The redirector aims to solve the problem of choosing a Debian mirror. It uses the geographic and network location of the user and the mirrors, the architecture of the requested files, IP address family, the availability and freshness of the mirrors, and a few other things.

Please note that this issue is about the ability to express a custom
package repository.

@Lope: Sure there are ways to hack files in a shell, but what I raise
here is the lack of ability to express it in the UI of Lil'Debi. Sorry I
was not explicit about that.

@Jcfunk: Please file a separate issue about which mirror to use as
default (and beware of deb.debian.org which some has argued is more
reliable and better maintained than httpredir.debian.org).

• Jonas

• Jonas Smedegaard - idealist & Internet-arkitekt

• Tlf.: +45 40843136 Website: http://dr.jones.dk/

  [x] quote me freely [ ] ask before reusing [ ] keep private