Hello Gottfried, Am Tue, Feb 04, 2025 at 04:29:04PM +0000 schrieb gfp: > GUIX_PROFILE="/home/gfp/.guix-profile" > . "$GUIX_PROFILE/etc/profile"
this does not completely answer your question, but in this case you can use the "up" arrow key until you see the first line, then "enter". And once again for the second line. I think there are more advanced ways of doing it, but I do not know them. Andreas
