User Tools

Site Tools


git_bash_notes

This is an old revision of the document!


how to end stdin

Use ctrl+z.

In general, ctrl+z is used to send EOF in Windows and ctrl+d in Linux.

Ref:- https://stackoverflow.com/questions/15673120/how-can-i-signal-eof-to-close-stdin-under-the-git-bash-terminal-on-windows-ctrl

find out whether a terminal is cygwin or git bash

uname -s | cut -f 1 -d '-'
terminal output
git bash MINGW64_NT
cygwin CYGWIN_NT

Sample shell script snippet:

terminal_type=`uname -s | cut -f 1 -d '-'`

if [ "$terminal_type" = "CYGWIN_NT" ]; then
  echo "Using cygwin terminal"
elif [ "$terminal_type" = "MINGW64_NT" ]; then
  echo "Using git bash terminal"
else
  echo "Using unknown terminal"
fi

See also:

git_bash_notes.1654632028.txt.gz · Last modified: 2022/06/07 20:00 by raju