The current PSI works perfectly but I don't like the pale green prompt.
Tried editing .bashrd , /ext/fprofile and /ext/bash.bashrc but no changes to the PSI definition had any effect
Searched for PSI and found /usr/src/linux-headers-6.1.0-16-amd64/include/config/PSI /usr/src/linux-headers-6.1.0-17-amd64/include/config/PSI Is the definition of PSI baked in? If so, I can live with it the way it is. Tom George