Changeset a0ad432 for general

Timestamp:

09/07/2024 12:53:05 AM (2 weeks ago)

Author:

Douglas R. Reno <renodr@…>

Branches:

trunk

Children:

f74ac38e

Parents:

e9e97922

Message:

Screen: change some of the configure switches to use their new names

File:

• general/genutils/screen.xml (modified) (2 diffs)

general/genutils/screen.xml

@@ -106 +106 @@
     </para>
 
-<screen><userinput>sh autogen.sh                                 &amp;&amp;
-./configure --prefix=/usr                     \
-            --infodir=/usr/share/info         \
-            --mandir=/usr/share/man           \
-            --with-socket-dir=/run/screen     \
-            --with-pty-group=5                \
-            --with-sys-screenrc=/etc/screenrc &amp;&amp;
+<screen><userinput>./configure --prefix=/usr                        \
+            --infodir=/usr/share/info            \
+            --mandir=/usr/share/man              \
+            --enable-socket-dir=/run/screen      \
+            --with-pty-group=5                   \
+            --with-system_screenrc=/etc/screenrc &amp;&amp;
 
 sed -i -e "s%/usr/local/etc/screenrc%/etc/screenrc%" {etc,doc}/* &amp;&amp;
@@ -134 +133 @@
 
     <para>
-      <parameter>--with-socket-dir=/run/screen</parameter>: This option
+      <parameter>--enable-socket-dir=/run/screen</parameter>: This option
       places the per-user sockets in a standard location.
     </para>
 
     <para>
-      <parameter>--with-sys-screenrc=/etc/screenrc</parameter>: This option
-      places the global screenrc file in <filename
-      class='directory'>/etc</filename>.
+      <parameter>--with-system_screenrc=/etc/screenrc</parameter>: This option
+      places the global screenrc file in
+      <filename class='directory'>/etc</filename>.
     </para>