Ivan Font f9b1dcee26
Add AIO function to echo scm prompt char and info ...
Invoking the scm_char and scm_prompt_info functions separately for PS1
duplicates calls to the scm and scm_prompt_char functions to check what
${SCM}, if any, we currently reside in. This problem was exacerbated
when working outside of any repo as we had to go through all the
conditionals just to determine we're not in any scm repo. Unnecessary
conditionals slows down the prompt so this adds a new function that
streamlines printing out both the scm char and scm prompt info with one
invocation.
2017-01-16 22:14:15 -08:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-10-18 20:58:07 +06:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-11-24 21:09:15 +06:00
2016-10-18 20:58:07 +06:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2011-04-29 17:56:04 -05:00
2016-10-18 20:58:07 +06:00
2016-10-18 20:58:07 +06:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-12-09 10:40:42 +05:45
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-10-18 20:58:07 +06:00
2016-10-18 20:58:07 +06:00
2016-10-18 20:58:07 +06:00
2016-11-09 21:04:18 +01:00
2016-11-09 21:04:18 +01:00
2016-11-09 21:04:18 +01:00
2016-11-09 21:04:18 +01:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-12-07 09:58:24 -08:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-09-23 14:22:09 -05:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2016-10-18 20:58:07 +06:00
2016-07-07 17:13:00 +09:00
2016-07-07 17:13:00 +09:00
2017-01-16 22:14:15 -08:00
2016-04-09 20:52:47 -07:00
f9b1dcee26