22 lines
1.0 KiB
Diff
22 lines
1.0 KiB
Diff
|
diff -uNr src/sdk/pkg/front_end/lib/src/api_prototype/terminal_color_support.dart src.mod/sdk/pkg/front_end/lib/src/api_prototype/terminal_color_support.dart
|
||
|
--- src/sdk/pkg/front_end/lib/src/api_prototype/terminal_color_support.dart 2019-05-22 18:59:58.264004304 +0000
|
||
|
+++ src.mod/sdk/pkg/front_end/lib/src/api_prototype/terminal_color_support.dart 2019-05-22 19:21:02.019682122 +0000
|
||
|
@@ -55,7 +55,7 @@
|
||
|
|
||
|
// Check if stdin is a terminal (TTY).
|
||
|
ProcessResult result =
|
||
|
- Process.runSync("/bin/sh", ["-c", "tty > /dev/null 2> /dev/null"]);
|
||
|
+ Process.runSync("@TERMUX_PREFIX@/bin/sh", ["-c", "tty > /dev/null 2> /dev/null"]);
|
||
|
|
||
|
if (result.exitCode != 0) {
|
||
|
if (debug) {
|
||
|
@@ -67,7 +67,7 @@
|
||
|
// The `-S` option of `tput` allows us to query multiple capabilities at
|
||
|
// once.
|
||
|
result = Process.runSync(
|
||
|
- "/bin/sh", ["-c", "printf '%s' '$TERMINAL_CAPABILITIES' | tput -S"]);
|
||
|
+ "@TERMUX_PREFIX@/bin/sh", ["-c", "printf '%s' '$TERMINAL_CAPABILITIES' | tput -S"]);
|
||
|
|
||
|
if (result.exitCode != 0) {
|
||
|
if (debug) {
|