Achim D. Brucker
|
e4b3148e8d
|
Improved color definition for terminals with 256 colors.
|
2017-07-14 06:12:38 +01:00 |
Achim D. Brucker
|
2d288281ea
|
Added prompt for bazar.
|
2017-07-13 07:29:32 +01:00 |
Achim D. Brucker
|
d67abc3685
|
Added git_prompt.
|
2017-07-12 07:54:43 +01:00 |
Achim D. Brucker
|
654bd88e41
|
Show Isabelle version at an earlier position in the prompt.
|
2017-07-12 07:38:19 +01:00 |
Achim D. Brucker
|
e3e6ad3848
|
Improved separator for segments of same color (reset color after separator).
|
2017-07-11 07:32:25 +01:00 |
Achim D. Brucker
|
c29d74ca50
|
Introduced separator for segments of same color.
|
2017-07-11 07:14:32 +01:00 |
Achim D. Brucker
|
9a370d8b6d
|
Fixed color setup.
|
2017-07-10 05:14:19 +01:00 |
Achim D. Brucker
|
e9298f0e62
|
Fixed LHORANGE.
|
2017-07-10 05:03:32 +01:00 |
Achim D. Brucker
|
abb5fa42fc
|
Fixed and activated prompt_isabelle_env.
|
2017-07-10 05:02:55 +01:00 |
Achim D. Brucker
|
385668f407
|
Removed double definition of prompt_dir.
|
2017-07-10 04:21:45 +01:00 |
Achim D. Brucker
|
1e8ecfbb67
|
Prompt: working directory.
|
2017-07-10 04:15:48 +01:00 |
Achim D. Brucker
|
41823a0bef
|
Added logo to prompt and initial color setup.
|
2017-07-09 22:18:17 +01:00 |
Achim D. Brucker
|
92f022e970
|
Added skeleton for prompt setup (and added keybinding for inactive prompt).
|
2017-07-08 23:20:15 +01:00 |
Achim D. Brucker
|
96b358d303
|
Prompt: Isabelle version.
|
2017-07-06 23:07:19 +01:00 |
Achim D. Brucker
|
6ed43087ee
|
Prompt: LogicalHacking Logo.
|
2017-07-05 21:23:29 +01:00 |
Achim D. Brucker
|
38840e689e
|
Fixed PL_LARROW name.
|
2017-07-04 21:48:49 +01:00 |
Achim D. Brucker
|
aa36d147eb
|
Added basic prompt rendering.
|
2017-07-03 22:30:13 +01:00 |
Achim D. Brucker
|
8b9f3dc24c
|
Defined PowerLine symbols.
|
2017-07-03 22:19:29 +01:00 |
Achim D. Brucker
|
226b81abb8
|
Added promptpwd().
|
2017-07-02 23:06:36 +01:00 |
Achim D. Brucker
|
e73b0eb486
|
Initial commit.
|
2017-07-02 22:52:49 +01:00 |
Achim D. Brucker
|
53ec262293
|
Initial commit.
|
2017-07-01 06:28:38 +01:00 |