subsurface.git/scripts, branch v4.8.0

tools: keep the log of translation extraction

2018-06-25T12:21:13Z

Signed-off-by: Dirk Hohndel

build-system: Use the correct library name, libftdi1

2018-06-22T09:47:58Z

The library name is actually libftdi1 , not libftdi. Signed-off-by: Anton Lundin

build-system: Use a list instead of string + regexp

2018-06-22T09:47:58Z

There are actually more datatypes in bash than just strings. One can for example hold a list of strings in a list, and use that to keep track of what we're expected to do. Signed-off-by: Anton Lundin

build-system: Don't fail if tarball is there but no dir

2018-06-22T09:47:58Z

The previous code assumed everything was good to go if just the tar ball was there, but if it wasn't unpacked, it all went sideways. This makes it more robust and to actually handle that the tarball might just be there. Signed-off-by: Anton Lundin

build-system: Cleanup script with shellcheck

2018-06-22T09:47:58Z

Signed-off-by: Anton Lundin

Travis: build mobile on Linux with newer gcc

2018-06-17T21:32:23Z

Signed-off-by: Dirk Hohndel

build-system: add another Kirigami hack

2018-06-17T21:32:23Z

We want to be able to roll our own banner image, logo, title, and other information in the GlobalDrawer - but Kirigami adds an ugly margin around that. This attempts to remove that margin (but for some reason there is still a margin on the left side). This requires the patch command to be installed, but because of the context sensitivity of the changes, I couldn't figure out how to do this with sed or perl (which we already require). Signed-off-by: Dirk Hohndel

QML UI: update to newer Kirigami

2018-06-17T21:32:23Z

This seems equally stable to what we have and doesn't appear to introduce any new breakage. Signed-off-by: Dirk Hohndel

build-system: use common code to download tarballs

2018-06-17T11:41:38Z

Signed-off-by: Murillo Bernardes

build-system: avoid checkout when unneeded

2018-06-16T23:25:59Z

Checkout only if current checked out version differs from expected. Signed-off-by: Murillo Bernardes