Eu gosto de adaptar o estilo do meu terminal, dependendo do que estou fazendo por dentro. Usando o tilda , estou procurando uma maneira de alterar dinamicamente a forma do cursor, digamos, com uma linha de comando.
Eu sei que esta opção pode...
20.07.2015 / 23:06