mirror of
https://git.savannah.gnu.org/git/gnuboot.git
synced 2025-01-04 23:37:39 +01:00
Denis 'GNUtoo' Carikli
c007ab227d
Since the website and the images were merged in GNU boot respectively
in site/ and www/, we can now modify GNU boot to only be cloned once
to build the website.
The image path was also modified to make images work both in the local
served website and at gnu.org and also to minimize the differences
between the test and deployment setups.
Libreboot.at also hosted a copy of Untitled to make it simple to
control the revision being used.
But in the longer term, it would be a bad idea to do that again for
GNU boot since there are plans to convert the website and/or
documentation to the texinfo format, and so at some point Untitled
will stop being used, and we don't want to end up with a git
repository that needs to be kept for historic reasons but that is
unused.
Since the website isn't ready we also have a redirection to Savannah
to make sure that visitors are redirected to something meaningful.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Neox: Suggested the split in smaller commits and various ways to do
that (including some that were used).
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
42 lines
1.1 KiB
Bash
Executable file
42 lines
1.1 KiB
Bash
Executable file
#!/bin/sh
|
|
# Copyright (C) 2022 Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
|
|
#
|
|
# This program is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
set -e
|
|
|
|
usage()
|
|
{
|
|
echo "$0 <path/to/tarball>"
|
|
exit 1
|
|
}
|
|
|
|
if [ $# -ne 1 ] ; then
|
|
usage
|
|
fi
|
|
|
|
basedir="$(dirname $(realpath $0))"
|
|
|
|
tarball="$1"
|
|
|
|
tmpdir="$(mktemp -d)"
|
|
mkdir -p "${tmpdir}/software/gnuboot/"
|
|
|
|
tar xf "${tarball}" -C "${tmpdir}/software/gnuboot/"
|
|
|
|
sed "s#TMPDIR#${tmpdir}#g" \
|
|
"${basedir}/lighttpd.conf.tmpl" > \
|
|
"${basedir}/lighttpd.conf"
|
|
|
|
lighttpd -f lighttpd.conf -D
|