diff options
| author | David Thompson <davet@gnu.org> | 2015-06-09 19:58:32 -0400 |
|---|---|---|
| committer | David Thompson <davet@gnu.org> | 2015-06-09 19:58:53 -0400 |
| commit | a4bc7c4a75c89764deb3d1eae869a8babd2c2c4e (patch) | |
| tree | c49406683b6ab752534259f2e2e27da32868b1c2 /Makefile | |
| parent | b3e61beee6aa34722e5e94f512782dd50c8b6933 (diff) | |
bash: Display shell level in $PS1.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions