Commit Graph

156 Commits (3340dc7269cc44bda4e6f03dc8e0daaff3e22556)

Author SHA1 Message Date
romkatv ef041b4364 make right prompt multiline; add public_ip 5 years ago
romkatv 30c160926d add node.js prompt segments 5 years ago
romkatv 0eff9fe1b9 less verbose command_execution_time 5 years ago
Roman Perepelitsa 7acc5a236d
comments 5 years ago
romkatv 7fe72dfce0 polish lean.zsh a bit 5 years ago
romkatv b51e263637 draft of lean config 5 years ago