jed: remove dos*

Jörg Sommer joerg@alea.gnuu.de
Wed Jul 13 18:52:57 UTC 2005


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

G. Milde schrieb am Tue 12. Jul, 11:01 (+0200):
> On 11.07.05, J=F6rg Sommer wrote:
> > G. Milde schrieb am Mon 11. Jul, 09:21 (+0200):
> > > On  8.07.05, J=F6rg Sommer wrote:
> > > > Hi,
> > > >=20
> > > > I asked myself are the modes dos437.sl dos850.sl dos852.sl=20
> > > > usable for linux users?=20
>=20
> Looking at dos437.sl, I'd say NO, as the whole code is in an
> #ifdef IBMPC_SYSTEM
> block.

This is effective shipping an empty file.

> > > > Should we provide them? The same with vmshelp, win1250.
> > >=20
> > > I favour providing jed with as few Debian specific patches as possibl=
e.
> > > What do we gain if we exclude them? Will packing jed become easier or
> > > more complicated?
> >=20
> > Neither nor. IMO we gain a cleaner package without files that aren't
> > usable (look at dos437) and it should be much cleaner.
>=20
> Ok. We could keep the files (for reference and bidirectional
> compatibility) or remove (for clearity and less files). For me, it
> makes not much of a difference.

We need a third party.

J=F6rg.
--=20
"Computer games don't affect kids. If Pacman would have affected us as
children, we would now run around in darkened rooms, munching pills and
listening to repetetive music."

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

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

iQEVAwUBQtVjCYZ13Cz2nwVYAQIeFgf/WP4/wxKTbTdg3PHaHCVB6o1ezDp6QAG1
Cp/nUALv/W1tLgsynelNcaUkqCUYGqEigupYSEELiQSRCqqH5I0JWYleP3tD5J7G
2hsrmOBRh+RKOY3eBU6i2bzWA7z/diL4KYwF5+xx2+54uQi86WWx2ZiUi0NeMvIG
iYsOCCUedl9g+6HZHTvDgn9O7QPvpZA4A2NNeC78k7fAb/GOB5Q6zlMWSIDspbUr
+0pS7PK23/kP71IqCgS6p6nZDjkDQmNFlj/giCPZE7SaqnNm573uzchcFA0F2OZB
O0rSpSTiRpMQAfLgrvFHXSWS/f2iodrTiPjadc1oynsPgewmTgoERA==
=9wcy
-----END PGP SIGNATURE-----

--Q68bSM7Ycu6FN28Q--




More information about the Pkg-jed-devel mailing list