misc-tjund/update_publik.sh

#!/bin/bash

cd ~/src/publik-devinst
git checkout main
git pull
make install
import publik theming tools 2020-09-28 17:24:08 +02:00			`#!/bin/bash`

			`cd ~/src/publik-devinst`
update-publik: master -> main 2021-01-29 11:25:32 +01:00			`git checkout main`
import publik theming tools 2020-09-28 17:24:08 +02:00			`git pull`
use make install to update publik with devinst 2023-05-16 17:54:37 +02:00			`make install`