Re: [PATCH] config: Add profile script for fish shell

2024-03-22 Thread Frederik “Freso” S . Olesen
On Thu, Mar 21, 2024 at 09:25:36PM +0100, Mark Wielaard wrote: > Hi, Hi! Thanks for the review! Comments below and revision coming up :) > On Thu, Mar 21, 2024 at 04:04:11PM +0100, Frederik “Freso” S. Olesen wrote: > > diff --git a/config/ChangeLog b/config/ChangeLog > > index ce1f74f6..7d88c071

Re: [PATCH] config: Add profile script for fish shell

2024-03-21 Thread Mark Wielaard
Hi, On Thu, Mar 21, 2024 at 04:04:11PM +0100, Frederik “Freso” S. Olesen wrote: > Add support for setting $DEBUGINFOD_URLS automatically in the fish shell > similar to the profile scripts for POSIX and csh shells. > > Makefile is set to install this into fish’s $XDG_DATA_DIRS vendor > directory i

[PATCH] config: Add profile script for fish shell

2024-03-21 Thread Frederik “Freso” S . Olesen
Add support for setting $DEBUGINFOD_URLS automatically in the fish shell similar to the profile scripts for POSIX and csh shells. Makefile is set to install this into fish’s $XDG_DATA_DIRS vendor directory instead of under /etc: https://fishshell.com/docs/current/language.html#configuration-files