From f102f8cf58cd01d81da5b5a912b8bdbfc9b58df5 Mon Sep 17 00:00:00 2001 From: Renato Silva Date: Sun, 1 May 2016 23:34:22 -0300 Subject: [PATCH] filesystem: Improve the shell script. This script can now also be used for executing commands with custom handling for better MSYS2 integration. The following commands are currently supported and more can be added: * Windows Explorer, for proper backslash path conversion. * Windows command prompt, for properly executing under winpty. * Programs under /mingw32 and /mingw64, for the same reason. --- filesystem/PKGBUILD | 2 +- filesystem/shell | 70 +++++++++++++++++++++++++++++++++++++-------- 2 files changed, 59 insertions(+), 13 deletions(-) diff --git a/filesystem/PKGBUILD b/filesystem/PKGBUILD index a3c4169a..399492f4 100644 --- a/filesystem/PKGBUILD +++ b/filesystem/PKGBUILD @@ -60,7 +60,7 @@ sha256sums=('6d651f6b0b2d173961a3fa21acd9d44c783ed9cd73a031687698c8b9ed1f6dee' '0a3a3b131ace34f11f428118dfe81b34da148e29b6bea3b027d79bebd47141a7' '020d0619a6af9a4d6e1068cb77f2789bcf470380426214e90177f5596d651835' '756df34c5b28478a81331785de0f56438bb652cf5f29029a9db2d83281361340' - '4da1901fc060198cb1261d1f855b4f76042a50272815726d8e0518afdcc4689f' + 'dbf1fd2d38a89346545ebaa0969ab8bf8bf588db854b5f23690f9eefd87afc8e' 'f63241cc56aa7b7ec6962d19991d211b4e1641b78ba5226835118ab493830a8b' 'e96c1f54ffff792e738aa032815c82c30821b0683806e5ed0ba2a759db2fd494' '95105051d31ecbe4ace262a4496ec1055bdd14d61b7d475a771b56fe15f8ccd9' diff --git a/filesystem/shell b/filesystem/shell index 47a97eda..bcbc766f 100644 --- a/filesystem/shell +++ b/filesystem/shell @@ -1,16 +1,23 @@ #!/bin/bash -if [[ "${BASH_SOURCE}" = "${0}" || ! "${1}" =~ ^(mingw(32|64)|msys)$ ]]; then tee <