Bug#197835: [PROPOSAL]: integrated environments are allowed
Package: debian-policy
Version: 3.5.10.0+cvs20030617
Severity: normal
Hi,
The following patch attempts to codify the current practice wrt
integrated environments (can anyone think of a better term? I just sort
of made that up). There should be no changes required to programs as
far as I know, this is just syncing up policy with practice.
The wording could probably be improved; suggestions would be
appreciated.
--- policy.sgml.~1.127.~ 2003-06-07 19:14:50.000000000 -0400
+++ policy.sgml 2003-06-17 19:47:00.000000000 -0400
@@ -5901,7 +5901,7 @@
</p>
<p>
- Note that the same symbol (<tt>"</tt>) is used for the left
+ Note that the same symbol (<tt>"</tt>) is used for the left
and right quotation marks. A grave accent (<tt>`</tt>) is
not a quote character; neither is an apostrophe
(<tt>'</tt>).
@@ -7334,12 +7334,15 @@
<heading>Editors and pagers</heading>
<p>
- Some programs have the ability to launch an editor or pager
- program to edit or display a text document. Since there are
- lots of different editors and pagers available in the Debian
- distribution, the system administrator and each user should
- have the possibility to choose his/her preferred editor and
- pager.
+ A number of programs can use the services of any external
+ editor or pager program to edit or display a text document.
+ Since there are lots of different editors and pagers
+ available in the Debian distribution, the system
+ administrator and each user should have the possibility to
+ choose his/her preferred editor and pager for these
+ programs. However, other programs which are part of a
+ larger integrated environment may have their own preferred
+ editor or document viewer.
</p>
<p>
@@ -7349,11 +7352,13 @@
</p>
<p>
- Thus, every program that launches an editor or pager must
- use the EDITOR or PAGER environment variable to determine
- the editor or pager the user wishes to use. If these
- variables are not set, the programs <file>/usr/bin/editor</file>
- and <file>/usr/bin/pager</file> should be used, respectively.
+ Thus, every program without an internal preference that
+ launches an editor or pager must use the EDITOR or PAGER
+ environment variable to determine the editor or pager the
+ user wishes to use. If these variables are not set, the
+ programs <file>/usr/bin/editor</file>
+ and <file>/usr/bin/pager</file> should be used,
+ respectively.
</p>
<p>
Reply to: