Você pode fazer isso com o Python!
De Como posso editar a fonte de HTML na área de transferência? ...
#!/usr/bin/env python
import gtk
print (gtk.Clipboard().wait_for_contents('text/html')).data
(salve isso em um arquivo chamado, digamos, clip.py
, e execute python clip.py
no aplicativo Terminal)
Veja também: link