Что делать, если игнорировать файл dotnetdev.list не вызывает никаких проблем с временем выполнения и использованием SDK?

Вы можете редактировать файл XTerm с помощью vim или nano (я использую vim):

vim /home/your_user_name/XTerm

Добавить это:

XTerm*Background: black
XTerm*Foreground: green
XTerm*SaveLines: 2000
XTerm*faceName: Ubuntu mono
XTerm*faceSize: 12
XTerm*rightScrollBar: true
XTerm*ScrollBar: true
XTerm*scrollTtyOutput: false
XTerm*VT100.Translations: #override \
      Shift Ctrl<Key>V: insert-selection(CLIPBOARD) \n\ 
      Shift Ctrl<Key>V: insert-selection(PRIMARY) \n\ 
      Shift<Btn1Down>: select-start() \n\ 
      Shift<Btn1Motion>: select-extend() \n\ 
      Shift<Btn1Up>: select-end(CLIPBOARD) \n\

Сохранить и закрыть whit: [!d2 ]

:wq

Открыть xterm:

xterm &

Эта конфигурация позволяет:

Надеюсь, это поможет вам.