[planet-web/oscp] Planet GNOME now lives within a gnome directory



commit 18ef2f9cabcae74cdc1b1c27bae9e4ac40100e35
Author: Andrea Veri <averi redhat com>
Date:   Thu Aug 29 21:59:54 2019 +0200

    Planet GNOME now lives within a gnome directory

 update-pgo-heads | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/update-pgo-heads b/update-pgo-heads
index 09a8055..9d806cb 100755
--- a/update-pgo-heads
+++ b/update-pgo-heads
@@ -15,7 +15,7 @@ cd /planet || exit
 
 <p>"
 
-for i in web/heads/*.png; do
+for i in gnome/web/heads/*.png; do
        THUMB=$(basename $i)
        if [ -f "web/heads/big/$THUMB" ]; then
                echo "<a href=\"https://planet.gnome.org/heads/big/$THUMB\";>"
@@ -36,7 +36,7 @@ echo "</p>
 
 <p>"
 
-for i in web/heads/logos/*.{png,jpg}; do
+for i in gnome/web/heads/logos/*.{png,jpg}; do
        THUMB=$(basename $i)
        echo "<img src=\"https://planet.gnome.org/heads/logos/$THUMB\";
                border=\"0\" alt=\"$(basename $THUMB)\">"
@@ -46,6 +46,6 @@ echo "</p>
 
 </body>
 
-</html>") > web/heads/index.html
+</html>") > gnome/web/heads/index.html
 
-chmod +r web/heads/index.html
+chmod +r gnome/web/heads/index.html


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]