You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
the scripts here do not set EDITOR variable but assume that it is set elsewhere. however this is not the case by default at least with a clean ubuntu 22.04 install. when EDITOR variable is unset, settitle() function begins throwing error "basename: invalid option"
could either have settitle() understand empty EDITOR variable, or could assign a default when it's unset
The text was updated successfully, but these errors were encountered:
I have applied the change to force the creation of HOME_GIT for an initial .bashrc read, adding quotes around it to avoid surprises. Still need to look at the second one.
the scripts here do not set EDITOR variable but assume that it is set elsewhere. however this is not the case by default at least with a clean ubuntu 22.04 install. when EDITOR variable is unset, settitle() function begins throwing error "basename: invalid option"
could either have settitle() understand empty EDITOR variable, or could assign a default when it's unset
The text was updated successfully, but these errors were encountered: