[Pkg-jed-devel] error building jed_0.99.16.pre.0.99.17.84-1

[Jörg Sommer]

--huq684BweRXVnRxX
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

G. Milde schrieb am Thu 14. Apr, 11:54 (+0200) :
> On 13.04.05, Rafael Laboissiere wrote:
> > * J=F6rg Sommer <joerg@alea.gnuu.de> [2005-04-13 22:05]:
> Would'nt it be sufficient to move /etc/jed-init.d/50jed-extra.sl out of t=
he

BTW: s/d'nt/dn't/

> way (e.g. temporarily rename to 50jed-extra.sl.old or delete if it is no
> longer needed (in this version))?

No. I don't think it is a good practice to manipilate the system with a
build script.

> > > Or should we modify site.sl to not load /etc/jed.conf at this point?=
=20
>=20
> Rather modify jed.conf -=20
>   site.sl is in the jed standard distribution and should be left as-is,=
=20
>   jed.conf is a Debian extension, so the debian package is free to change
>   this.

You are right. This would be the better way.

> The next idea is using environment variables, like
>=20
>    JED_HOME=3D"foo"; jed
>=20
> this works as expected: the Jed_Home_Library is not added to the
> jed-library-path and Jed_Home_Library/ini.sl is not evaluated.

Dirty, but it works.

I would prefer:
if (getenv("NO_JED_CONF") =3D=3D NULL)
  do_jed_conf();

J=F6rg.

BTW: G=FCnter, are you on the list?

--=20
Viele Leute glauben, da=DF sie denken, wenn sie lediglich
ihre Vorurteile neu ordnen.

--huq684BweRXVnRxX
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (GNU/Linux)

iQEVAwUBQl+D04Z13Cz2nwVYAQKzSQgAz4FMTTrmh2ctadOEZPcf1XWMxBuRlRKb
1Bc1VEpvLeYC57GVRKQ1yaVtQFrgv0drXKFGm2HImXCaXp17rlQxaKnolBVFx/E2
CwDGWisepDhJVLfi+aSu8xR38VisktCW72DBu7bjTzqY7QLzKZ70A79r/tQQzWeh
7p/b4lp43gGETxeSOXuw2exZ+mcKZ/2tqxxoS4+0ADvQ44GgJ5GQzigLl2yuLei8
DXnRzJ2B1toMjeHxviwhKSNgitZLXi9cWAArVCrL3pvXKanehyFZjEAic6Vkfadn
g+MC4z7Za1BD2rQq9gGr9tl+569yrhhB+MyG8+zAB+pnwmDuPkLn+A==
=VbtG
-----END PGP SIGNATURE-----

--huq684BweRXVnRxX--