Ubuntu
screen-profiles package

  1. Bug #323756
  2. Comment #1

Comment 1 for bug 323756

Revision history for this message
Dustin Kirkland  (kirkland) wrote :

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