Anotações editáveis no terminal, como notas adesivas

7

Eu uso a tela, o que me permite usar muitos terminais. No entanto, porque há tantos terminais às vezes eu esqueço o que estou fazendo. Existe algum aplicativo de terminal que possa desenhar sobre uma seção do terminal / ocupar algum espaço e mostrar uma seção de notas editáveis?

Eu não quero correr a tela na tela :-p

    
por user1138184 04.11.2014 / 04:46

3 respostas

8

Talvez não exatamente o que você está procurando, mas eu tenho um script para adicionar uma string ao início do prompt do bash. É chamado de shellname.sh e é assim:

#!/bin/bash -x

if [[ -z "$ORIG_PS1" ]] ; then
  export ORIG_PS1="$PS1" ;
fi

export PS1="($1) $ORIG_PS1"

Então eu posso chamar source ~/testname.sh "Shell Name Here" . Observe que você precisa usar source em vez de executá-lo diretamente para poder afetar o ambiente local. Por exemplo:

stokastic@home:~/test# 
stokastic@home:~/test# source ~/shellname.sh "build shell"
(build shell) stokastic@home:~/test# 
(build shell) stokastic@home:~/test# echo "now my shell name is on the left"
now my shell name is on the left
(build shell) stokastic@home:~/test# make
    
por stokastic 04.11.2014 / 05:45
4

Outra opção é definir um título personalizado adicionando essa função ao seu .bashrc:

term_title() {
    unset PROMPT_COMMAND
    echo -ne "3]0;${@}
term_title "New Terminal Name"
7" }

Para definir o título do terminal, execute este comando em um novo terminal:

term_title() {
    unset PROMPT_COMMAND
    echo -ne "3]0;${@}
term_title "New Terminal Name"
7" }

    
por ryanmjacobs 04.11.2014 / 08:00
1

Uma solução que eu uso agora é apenas adicionar um comentário bash

bash> # this tab is for doing xyz.

Se você prefixar o hash do comentário com um espaço, ou seja. '#', nem sequer irá salvá-lo em seu histórico de linha de comando.

    
por user1138184 21.03.2017 / 04:41