all repos — tint2 @ 7666077c63e9b0604a89d76c0d9d21a9ef56e26b

fork of the tint2 desktop panel for my custom setup - only minimized windows across all desktops for the taskbar

packaging/update_version_status.sh (raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#!/bin/bash

set -e
set -x

flock -w 0 ~/tint2.runner-version.log

exec > ~/tint2.runner-version.log
exec 2>&1

cd ~/tint2.wiki
git reset --hard
git pull


~/tint2/packaging/version_status.py > packaging.tmp.md
cat packaging.tmp.md > packaging.md
rm packaging.tmp.md

git commit -am 'Update packaging info'
git push origin master