[planet-web/oscp] Planet GNOME now lives within a gnome directory
- From: Andrea Veri <averi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [planet-web/oscp] Planet GNOME now lives within a gnome directory
- Date: Thu, 29 Aug 2019 19:59:53 +0000 (UTC)
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]