Skip to content

Actions: TomfromBerlin/zsh-cmd-time

Greetings

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
10 workflow runs
10 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fixed bug with empty command line input
Greetings #16: Pull request #19 opened by mahdemir
November 14, 2023 22:34 33s
November 14, 2023 22:34 33s
Bugfix
Greetings #15: Pull request #18 opened by TomfromBerlin
July 2, 2023 20:44 33s
July 2, 2023 20:44 33s
Plugin Manager Activity Indicator
Greetings #14: Pull request #17 opened by TomfromBerlin
July 2, 2023 19:54 44s
July 2, 2023 19:54 44s
Undo last changes
Greetings #13: Pull request #16 opened by TomfromBerlin
June 11, 2023 11:46 35s
June 11, 2023 11:46 35s
Bugfix
Greetings #12: Pull request #15 opened by TomfromBerlin
June 7, 2023 22:10 45s
June 7, 2023 22:10 45s
add "typeset -F SECONDS"
Greetings #11: Pull request #14 opened by TomfromBerlin
May 29, 2023 20:45 37s
May 29, 2023 20:45 37s
Update README.md
Greetings #10: Pull request #12 opened by TomfromBerlin
May 20, 2023 21:03 34s
May 20, 2023 21:03 34s
Update cmd-time.zsh
Greetings #9: Pull request #11 opened by TomfromBerlin
May 8, 2023 21:03 31s
May 8, 2023 21:03 31s
Update cmd-time.plugin.zsh
Greetings #8: Pull request #10 opened by TomfromBerlin
May 8, 2023 20:56 41s
May 8, 2023 20:56 41s
Update cmd-time.zsh
Greetings #7: Pull request #9 opened by TomfromBerlin
May 6, 2023 19:43 35s
May 6, 2023 19:43 35s