Как добавить время в командной строке git

Question

Я хочу добавить текущее время в командной строке git.с сохранением тех же фактических параметров.

Как это сделать, как на следующем рисунке.

Answer 1

Перейдите в папку установки Git, где находятся ваши профили: Git\etc\profile.d и откройте файл с именем git-prompt.sh.Измените последний блок кода, чтобы включить метку времени, например:

PS1="$PS1"'\[\033[0m\]'        # change color
PS1="$PS1"' \A \D{%d/%m/%Y}'   # time & date
PS1="$PS1"'\n'                 # new line
PS1="$PS1"'$ '                 # prompt: always $

Просто выделите строку, которую вы вставляете непосредственно перед тем, как bash вставит новую строку:

PS1="$PS1"' \A \D{%d/%m/%Y}'   # time & date

\A отобразит текущее время в 24-часовом формате HH:MM, а \D{format} отобразит дату в произвольном формате.Формат принимает любые аргументы, поддерживаемые strftime (3) .Используемый нами формат разбит на следующие сегменты:

%m - The month as a decimal number (range 01 to 12). 
%d - The day of the month as a decimal number (range 01 to 31). 
%y - The year as a decimal number without a century (range 00 to 99).

Это должно дать вам следующий вывод консоли, подобный следующему:

~/Desktop/Code/carhabti (master) 01:28 23/06/2019

Вот список escape-последовательностей, которые используются для форматирования времени в bash:

\t     the current time in 24-hour HH:MM:SS format
\T     the current time in 12-hour HH:MM:SS format
\@     the current time in 12-hour am/pm format
\A     the current time in 24-hour HH:MM format