don't run navigation menu if stdin isn't a terminal #13054
+2
−1
Merged
Loading