| Line 144... |
Line 144... |
| 144 |
if [ $? -ne 0 ] ; then exit 1 ; fi
|
144 |
if [ $? -ne 0 ] ; then exit 1 ; fi
|
| 145 |
|
145 |
|
| 146 |
# compute the ini file with properties of each ISO
|
146 |
# compute the ini file with properties of each ISO
|
| 147 |
echo "[micro]" > "$PUBDIR/downloads.ini"
|
147 |
echo "[micro]" > "$PUBDIR/downloads.ini"
|
| 148 |
echo "url=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-micro.iso/download\"" >> "$PUBDIR/downloads.ini"
|
148 |
echo "url=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-micro.iso/download\"" >> "$PUBDIR/downloads.ini"
|
| 149 |
echo "md5=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-micro.md5/download\"" >> "$PUBDIR/downloads.ini"
|
149 |
echo "md5=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-micro.iso.md5/download\"" >> "$PUBDIR/downloads.ini"
|
| 150 |
echo "size=`stat --format='%s' $CDISOMICRO`" >> "$PUBDIR/downloads.ini"
|
150 |
echo "size=`stat --format='%s' $CDISOMICRO`" >> "$PUBDIR/downloads.ini"
|
| 151 |
echo "date=`stat --format='%Y' $CDISOMICRO`" >> "$PUBDIR/downloads.ini"
|
151 |
echo "date=`stat --format='%Y' $CDISOMICRO`" >> "$PUBDIR/downloads.ini"
|
| 152 |
echo "" >> "$PUBDIR/downloads.ini"
|
152 |
echo "" >> "$PUBDIR/downloads.ini"
|
| 153 |
echo "[full]" >> "$PUBDIR/downloads.ini"
|
153 |
echo "[full]" >> "$PUBDIR/downloads.ini"
|
| 154 |
echo "url=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-full.iso/download\"" >> "$PUBDIR/downloads.ini"
|
154 |
echo "url=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-full.iso/download\"" >> "$PUBDIR/downloads.ini"
|
| 155 |
echo "md5=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-full.md5/download\"" >> "$PUBDIR/downloads.ini"
|
155 |
echo "md5=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-full.iso.md5/download\"" >> "$PUBDIR/downloads.ini"
|
| 156 |
echo "size=`stat --format='%s' $CDISO`" >> "$PUBDIR/downloads.ini"
|
156 |
echo "size=`stat --format='%s' $CDISO`" >> "$PUBDIR/downloads.ini"
|
| 157 |
echo "date=`stat --format='%Y' $CDISO`" >> "$PUBDIR/downloads.ini"
|
157 |
echo "date=`stat --format='%Y' $CDISO`" >> "$PUBDIR/downloads.ini"
|
| 158 |
echo "" >> "$PUBDIR/downloads.ini"
|
158 |
echo "" >> "$PUBDIR/downloads.ini"
|
| 159 |
echo "[nosrc]" >> "$PUBDIR/downloads.ini"
|
159 |
echo "[nosrc]" >> "$PUBDIR/downloads.ini"
|
| 160 |
echo "url=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-nosrc.iso/download\"" >> "$PUBDIR/downloads.ini"
|
160 |
echo "url=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-nosrc.iso/download\"" >> "$PUBDIR/downloads.ini"
|
| 161 |
echo "md5=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-nosrc.md5/download\"" >> "$PUBDIR/downloads.ini"
|
161 |
echo "md5=\"https://sourceforge.net/projects/svarog386/files/$YEAR/svarog386-$DATESTAMP-nosrc.iso.md5/download\"" >> "$PUBDIR/downloads.ini"
|
| 162 |
echo "size=`stat --format='%s' $CDISONOSRC`" >> "$PUBDIR/downloads.ini"
|
162 |
echo "size=`stat --format='%s' $CDISONOSRC`" >> "$PUBDIR/downloads.ini"
|
| 163 |
echo "date=`stat --format='%Y' $CDISONOSRC`" >> "$PUBDIR/downloads.ini"
|
163 |
echo "date=`stat --format='%Y' $CDISONOSRC`" >> "$PUBDIR/downloads.ini"
|
| 164 |
|
164 |
|
| 165 |
cd "$origdir"
|
165 |
cd "$origdir"
|
| 166 |
|
166 |
|