tauri-apps/archived-gir-files
1
0
Fork 0
mirror of https://github.com/tauri-apps/gir-files.git synced 2026-01-31 00:45:15 +01:00
Code Issues Packages Projects Releases Wiki Activity
182 Commits 3 Branches 0 Tags
master
Commit Graph

5 Commits

Author SHA1 Message Date
Evgenii Pashkin
88f07cdc88 Add autodetect security updates and retry on server internal error 2020-04-26 09:46:05 +03:00
Evgenii Pashkin
092fb83e14 Update script to download Ubuntu Disco packages 2019-01-13 12:03:00 +03:00
Tomasz Miąsko
92ee711b0f Update scripts. 
Apply gir fixes using xmlstarlet. It is not as fragile as matching lines
exactly. Unfortunately it also changes the formating to some degree.

Bail out on errors. Don't ignore failed greps in pipeline.
 2018-01-29 19:57:28 +01:00
Evgenii Pashkin
a4edd86bcb Added script for group upload, downloaded latest zesty versions 2017-08-25 22:56:07 +03:00
Gleb Kozyrev
72d81ee988 A script that downloads a deb and extracts the gir files from it 2015-07-15 15:38:32 +03:00