gui - Cómo copiar texto en gitk
install gitk (5)
¿Puedo copiar el código fuente en el panel inferior izquierdo de gitk? ¿Algún atajo de teclado u otras funciones?
SO: Ubuntu 9.04 Desktop / gitk: 1: 1.6.0.4-1ubuntu2
Gracias.
Debería ser compatible con la copia (estilo X portapapeles), aunque se haya informado un error para esa característica en Ubuntu:
gitk es compatible con el portapapeles X normal: seleccione para copiar, haga clic con el botón central para pegar.
Mi mouse no tiene un botón central y seleccionar no está copiando.
Sería inmensamente útil tener:
- Las opciones de copiar y pegar disponibles:
- en el menú de edición,
- o haga clic derecho en el menú,
- o admitir los métodos abreviados de teclado estándar Ctrl + c , Ctrl + v .
Ejecuta Gitk en el modo de grupo interno y no lo cierres mientras pegas. El portapapeles funcionará mejor mientras gitk todavía se está ejecutando.
$ gitk &
También puede hacerlo como función en ~ / .bashrc o ~ / .bash_aliases
function gitk() {
/usr/bin/gitk $@ &
}
Solución:
- Haga clic derecho en el código fuente que desea copiar.
- Seleccione "Ejecutar git gui culpa en esta línea".
Esto abre un nuevo editor de gui culges con la funcionalidad completa de copiar / pegar.
También tengo exactamente el mismo problema en mi Ubuntu 16.04 con gnome desktop. Parece un error en la versión antigua y arreglado en la última versión. Actualiza gitk con estos pasos:
git clone git://ozlabs.org/~paulus/gitk
cd gitk
make
sudo copy gitk /usr/bin/gitk
También tuve problemas con esto en Ubuntu (con Gnome). Sin embargo, encontré que podía seleccionar texto y luego usar ''xclip -o'' para imprimirlo en la consola (que luego podría usar / copiar de manera normal). Supongo que el portapapeles X está separado del portapapeles Gnome normal.