| .. |
|
build
|
Adapt checksum for ninja-linux.zip
|
2019-04-18 00:12:24 +02:00 |
|
apt-compare-versions
|
Introduce a scripts/ folder
|
2016-01-14 22:45:50 -05:00 |
|
buildorder.py
|
buildorder.py: make subpackage pull its parent
|
2019-04-06 02:57:54 +03:00 |
|
check-built-packages.py
|
Add script to check built versions
|
2018-07-02 14:00:15 +02:00 |
|
check-pie.sh
|
Introduce a scripts/ folder
|
2016-01-14 22:45:50 -05:00 |
|
check-versions.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
|
config.guess
|
Update to latest config.{guess,sub}
|
2017-01-18 01:02:18 +01:00 |
|
config.sub
|
Update to latest config.{guess,sub}
|
2017-01-18 01:02:18 +01:00 |
|
Dockerfile
|
Switch User in Docker
|
2019-02-24 21:08:38 +02:00 |
|
generate-repology-metadata.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
|
get_hash_from_file.py
|
build-package.sh: handle Release.gpg and get deb path from Package
|
2019-02-16 18:55:15 +01:00 |
|
ldd
|
Add scripts/ldd utility script
|
2018-09-22 00:25:27 +02:00 |
|
lint-packages.py
|
Add TERMUX_PKG_REVISION check to lint-packages.py
|
2017-12-20 00:13:01 +01:00 |
|
list-packages.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
|
list-versions.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
|
package_uploader.sh
|
package_uploader.sh: handle licenses "custom" and "non-free"
|
2019-04-12 17:23:45 +03:00 |
|
properties.sh
|
fix ndk versions
|
2019-02-24 20:39:35 +02:00 |
|
run-docker.ps1
|
Add PowerShell script to run Docker (#815)
|
2017-03-04 22:20:43 +01:00 |
|
run-docker.sh
|
scripts/run-docker.sh: use sudo for privileged operations (when changing uid/gid)
|
2019-02-25 02:12:51 +02:00 |
|
setup-android-sdk.sh
|
fix ndk versions
|
2019-02-24 20:39:35 +02:00 |
|
setup-archlinux.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
|
setup-ubuntu.sh
|
swi-prolog: specify necessary host tools in setup-ubuntu.sh
|
2019-04-09 18:57:29 +03:00 |
|
test-runner.sh
|
Shell script compliance
|
2019-02-15 18:01:09 +02:00 |
|
update-docker.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
|
Vagrantfile
|
Vagrantfile tweaks
|
2018-01-25 22:15:35 +01:00 |
