diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-09-19 22:38:13 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-09-19 22:42:12 +0200 |
| commit | 6ecb19ada66d54cc0afeb3d27d89700473cde70a (patch) | |
| tree | a3b57044b04aad7613757aa96697f4afa89c1b85 /fai/config/scripts/EDU | |
| download | debian-edu-fai+itzks-6ecb19ada66d54cc0afeb3d27d89700473cde70a.tar.gz debian-edu-fai+itzks-6ecb19ada66d54cc0afeb3d27d89700473cde70a.tar.bz2 debian-edu-fai+itzks-6ecb19ada66d54cc0afeb3d27d89700473cde70a.zip | |
initial draft of getting FAI install a Debian Edu system (profile: Minimal)
Diffstat (limited to 'fai/config/scripts/EDU')
| -rwxr-xr-x | fai/config/scripts/EDU/10-update-debian-edu-config | 6 | ||||
| -rwxr-xr-x | fai/config/scripts/EDU/40-cfengine-install-workstation | 27 |
2 files changed, 33 insertions, 0 deletions
diff --git a/fai/config/scripts/EDU/10-update-debian-edu-config b/fai/config/scripts/EDU/10-update-debian-edu-config new file mode 100755 index 0000000..4cf18d7 --- /dev/null +++ b/fai/config/scripts/EDU/10-update-debian-edu-config @@ -0,0 +1,6 @@ +#!/bin/bash + +if [ -f /etc/debian-edu/config ] && [ -x /usr/share/doc/debian-edu-install ]; then + sed -i /etc/debian-edu/config -e "s/^VERSION=.*$/VERSION=\"$(/usr/lib/debian-edu-install/version)\"/" +fi + diff --git a/fai/config/scripts/EDU/40-cfengine-install-workstation b/fai/config/scripts/EDU/40-cfengine-install-workstation new file mode 100755 index 0000000..9a1ff13 --- /dev/null +++ b/fai/config/scripts/EDU/40-cfengine-install-workstation @@ -0,0 +1,27 @@ +#! /bin/bash + +set -x + +# Let's make sure that we have correct http proxy settings. +if [ -x $target/usr/share/debian-edu-config/tools/update-proxy-from-wpad ]; then + chroot $target /usr/share/debian-edu-config/tools/update-proxy-from-wpad +fi + +# The proxy settings should not have been written to /etc/environment. +# Let's export those settings to the current shell, so that cf-agent +# has them... +for line in $(cat $target/etc/environment | grep -v -E "^#.*" | grep -E ".+=.*"); do + export $line; +done + +# Now let's assume, we have http_proxy, https_proxy and ftp_proxy set in our +# environment. We need to pass them on into the chroot... + +echo http_proxy=$http_proxy +echo https_proxy=$https_proxy +echo ftp_proxy=$ftp_proxy + +# Do the conversion of the vanilla Debian system to a Debian Edu system +chroot $target strace -f /usr/sbin/cf-agent -I -D installation + +set +x |
