Thanks for the bug report, Loic. You raise a couple of important
issues.
I would like to patch screen itself to handle missing source'd files
more gracefully, perhaps as you say by checking for its existence before
sourcing it. I'm going to add a task for 'screen' to this bug for this
item.
We could go the other route, with having the /usr/bin/screen shell
script call a -c "$HOME/.screenrc-profiles", I suppose, but I think
that's going to be considerably more difficult from a maintenance
perspective.
Either way, I agree, this should be fixed ASAP, well before beta.
:-Dustin
** Changed in: screen-profiles (Ubuntu)
Importance: Undecided => High
Assignee: (unassigned) => Dustin Kirkland (kirkland)
Status: New => Triaged
--
Causes errors when removing screen-profiles or sharing .screenrc across hosts
https://bugs.launchpad.net/bugs/323756
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
