Ho da poco scoperto Terminator (sì, lo so, era ora!) e me ne sono praticamente innamorato. Ho anche scoperto in fretta che trascinando per un po’ i terminali, Terminator va in segmentation fault. Fortunatamente esiste un “rimedio”, indicato qui: https://bugs.launchpad.net/terminator/+bug/869503/comments/15
L’unico effetto collaterale è che quando trascinerete testo o file dentro a Terminator avrete la stessa animazione del trascinamento dei terminali, un prezzo assai misero da pagare per evitare crash.
Per applicare questa modifica, aprite il file /usr/share/terminator/terminatorlib/terminal.py da root
sudo nano /usr/share/terminator/terminatorlib/terminal.py
e cercate la funzione on_drag_motion (CTRL + W e scrivete def on_drag_motion) e commentate il primo if che incontrate:
def on_drag_motion(self, widget, drag_context, x, y, _time, _data):
"""*shrug*"""
# if gtk.targets_include_text(drag_context.targets) or
# gtk.targets_include_uri(drag_context.targets):
# # copy text from another widget
# return
Salvate, chiudete e avete finito.
Per i pigri, o se dovete applicare questo rimedio su più di un computer e volete farlo con un solo comando (se non avete installato curl, fatelo, è troppo fico per non averlo!):
curl http://pastebin.com/download.php?i=X24riVAt | sudo patch /usr/share/terminator/terminatorlib/terminal.py
Bonus trick (Ubuntu)
Una volta installato Terminator su Ubuntu, mi sono accorto che aveva preso il posto di GNOME Terminal nella scorciatoia CTRL + ALT + T. Il modo migliore per correggere questo comportamento è reimpostare x-terminal-emulator al suo valore originale:
sudo update-alternatives --set x-terminal-emulator /usr/bin/gnome-terminal.wrapper