Browse Source

Add script to generate repo pages content (wrapper)

pull/14/head
falkTX 5 years ago
parent
commit
d695169b35
4 changed files with 10 additions and 0 deletions
  1. +1
    -0
      .gitignore
  2. +8
    -0
      _update-repo-pages.sh
  3. +1
    -0
      repo/screenshots/carla-git.png
  4. BIN
      repo/screenshots/carla.png

+ 1
- 0
.gitignore View File

@@ -5,3 +5,4 @@ donate/insert-value.sh
paste/raw/*
repo/*
!repo/screenshots/
_insert-value.sh

+ 8
- 0
_update-repo-pages.sh View File

@@ -0,0 +1,8 @@
#!/bin/bash

set -e

pushd $(dirname $0)/repo
./generate-repo-page.sh apps > applications.html
# ./generate-repo-page.sh plugins > plugins.html
popd

+ 1
- 0
repo/screenshots/carla-git.png View File

@@ -0,0 +1 @@
carla.png

BIN
repo/screenshots/carla.png View File

Before After
Width: 1000  |  Height: 974  |  Size: 296KB

Loading…
Cancel
Save