website-build: use a less common port.

When working on multiple websites the same time, having every website
using the port 8080 by default isn't very convenient.

In addition here we need a number that is somewhat easy to remember
and possibly meaningful for each website, so in general that not easy
to choose.

But in the case of GNU Boot we can find a scheme because:
- GNU Boot supports only x86 machines for now,
- the GM45 ThinkPads are probably the most well supported by GNU
  Boot and also well known machines,
- that the GM45 ThinkPads use Intel CPUs,
- that 8086 is frequently used as vendor ID for Intel,

so here we can simply use 8086 as it's meaningful and at least very
easy to remember at least for people working in that field.

In addition for people not familiar with writing drivers for x86
computers, it could also reminds of a CPU also from Intel.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2024-05-17 15:08:14 +02:00
parent 162bfd9f0f
commit 0d3a20db9a
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
3 changed files with 4 additions and 4 deletions

View File

@ -13,7 +13,7 @@ $ ./autogen.sh
$ ./configure
$ make test
Then you can point a browser to http://localhost:8080/software/gnuboot/web/ or
Then you can point a browser to http://localhost:8086/software/gnuboot/web/ or
to http://localhost:PORT/software/gnuboot/web/ if you changed the port through
./configure options.

View File

@ -41,9 +41,9 @@ AM_CONDITIONAL( [WANT_LIGHTTPD], [test x"$lighttpd" = x"yes"])
AC_ARG_WITH([lighttpd-port],
[AS_HELP_STRING([--with-lighttpd-port=PORT],
[Use a custom TCP port for lighttpd tests instead of the
default one (8080).])],
default one (8086).])],
[LIGHTTPD_PORT=$withval],
[LIGHTTPD_PORT=8080])
[LIGHTTPD_PORT=8086])
# --with-rsync-destination
AC_ARG_WITH([rsync-destination],

View File

@ -30,7 +30,7 @@ basedir="$(dirname $(realpath $0))"
tarball="$1"
lighttpd_port=8080
lighttpd_port=8086
if [ $# -eq 2 ] ; then
lighttpd_port="$2"
fi