Diferenças
Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anteriorRevisão anteriorPróxima revisão | Revisão anterior | ||
| dicas:r-kate [2009/01/29 12:53] – stephan | dicas:r-kate [2009/02/09 20:19] (atual) – paulojus | ||
|---|---|---|---|
| Linha 14: | Linha 14: | ||
| 4) Uma vez iniciado o Kate, crie uma sessão com seus arquivos. | 4) Uma vez iniciado o Kate, crie uma sessão com seus arquivos. | ||
| - | 5) Habilite o plugin Terminal (Settings - Configure Kate... - Plugins - Terminal tool view | + | 5) Habilite o plugin Terminal (Settings - Configure Kate... - Plugins - Terminal tool view) |
| 6) em Settings - Configure Shortcuts, configure uma tecla de atalho para "Pipe to terminal" | 6) em Settings - Configure Shortcuts, configure uma tecla de atalho para "Pipe to terminal" | ||
| Linha 34: | Linha 34: | ||
| [[http:// | [[http:// | ||
| - | celso@stephan.mus.br | + | celso EM stephan.mus.br |
