3 commits

Author	SHA1	Message	Date
buffet	72f1eec97e	bash: don't set PS0	2024-05-20 12:06:16 +02:00
buffet	b47f8ebc75	bash: switch to prompt with more info	2024-05-20 12:06:16 +02:00
buffet	86ec9d7ce2	port configs	2024-05-20 12:06:16 +02:00