Changeset ee842e2 for pkgmngt

Timestamp:

07/09/2020 04:59:36 PM (4 years ago)

Author:

Pierre Labastie <pierre@…>

Branches:

ablfs-more, legacy, trunk

Children:

46c6113

Parents:

3484658

Message:

Now that packageManager.xml createfiles is also included

for new book, test that /tools/etc/porgrc exists before moving it

File:

• pkgmngt/packageManager.xml.porg (modified) (1 diff)

pkgmngt/packageManager.xml.porg

@@ -75 +75 @@
   <para><command>porgball</command> needs <filename>porgrc</filename>
     in <filename class="directory">/etc</filename>:</para>
-  <screen><userinput>cp /tools/etc/porgrc /etc</userinput></screen>
+
+<screen><userinput>if [ -f /tools/etc/porgrc ]; then
+    cp /tools/etc/porgrc /etc
+fi</userinput></screen>
+
 </sect1>