Pular para o conteúdo principal

Apontando para um novo servidor de fontes X

Para acrescentar um novo servidor de fontes (xfs) na lista de servidores use o comando xset da seguinte forma:


xset +fp tcp/servidor:7100


onde servidor é o novo xfs e 7100 é porta TCP padrão dele. Para verificar a nova configuração, use:


xset q

Keyboard Control:
auto repeat: on key click percent: 0 LED mask: 00000002
auto repeat delay: 500 repeat rate: 30
auto repeating keys: 00ffffffdffffbbf
fadfffdfffdfe5ef
ffffffffffffffff
ffffffffffffffff
bell percent: 50 bell pitch: 400 bell duration: 100
Pointer Control:
acceleration: 2/1 threshold: 4
Screen Saver:
prefer blanking: yes allow exposures: yes
timeout: 0 cycle: 0
Colors:
default colormap: 0x20 BlackPixel: 0 WhitePixel: 16777215
Font Path:
tcp/servidor:7100,unix/:7100,built-ins
Bug Mode: compatibility mode is disabled
DPMS (Energy Star):
Standby: 0 Suspend: 0 Off: 0
DPMS is Enabled
Monitor is On
Font cache:
Server does not have the FontCache Extension
File paths:
Config file: /etc/X11/xorg.conf
Modules path: /usr/lib/xorg/modules
Log file: /var/log/Xorg.0.log



e para retirar o servidor da lista execute:


xset -fp tcp/servidor:7100

Postagens mais visitadas deste blog

Como trocar a data de expiração das chaves GPG

Baseado na dica disponível em: https://liquidat.wordpress.com/2013/05/07/howto-changing-the-expiry-date-of-gpg-keys/ 1. Primeiramente, você precisa saber o ID da chave, neste exemplo ABCDEF12 : $ gpg -list-keys liquidat@example.com pub.   2048R/ABCDEF12 2012-09-10 [expires: 2032-09-10] id                     liquidat sub     2048R/BCDEF123 2012-09-10 [expires: 2032-09-10] Com o ID em mãos pode-se editar a chave:  $ gpg --edit-key ABCDEF12 ... A chave pública está disponível. ... pub.  2048R/ABCDEF12 ... sub   2048R/BCDEF123 ... ... gpg> 2. Agora vamos efetivamente mudar a data de expiração: gpg> expire Changing exporation time for the primary key. Please specify how long the Key should be valid.        0 = key does not expires     = key expires in n days     W = key ...

Como instalar extensões no Gnome Shell manualmente

As extensões do Gnome Shell são instaladas em /usr/share/gnome-shell/extensions ou em ~/.local/share/gnome-shell/extensions, sendo o primeiro global e o segundo válido apenas para o próprio usuário. Para instalar uma extensão de forma manual, obtenha o pacote ZIP correspondente a extensão desejada em https://extensions.gnome.org . Em cada página de extensão do extentions.gnome.org há um link que aponta para a Home Page do projeto. Seguindo um desses links , procure o pacote ZIP para download . Após o download do ZIP, abra-o com o Gerenciador de Pacotes conforme: Clique no botão Extrair , use a combinação de teclas Control+H para exibir arquivos ocultos e navegue até o diretório ~/.local/share/gnome-shell/extensions , quando estiver no diretório clique no botão Criar pasta e digite o nome do novo diretório (obs.: use o nome da extensão). Depois de criada a pasta, selecione-a e clique em Extrair . Por garantia efetue logout e abra uma nova sessão do Gnome She...

StackEdit: Um ótimo editor online de Markdown

StackEdit: Um ótimo editor online de Markdown Nota: Esse texto é uma tradução e adaptação do texto de boas vindas do StackEdit. Para quem procura um bom editor de sintaxe Markdown , recomendo o bom editor web online StackEdit. 1 O StackEdit armazena seus documentos em seu navegador o que significa que todos os seus documentos são automaticamente salvos localmente e estão disponíveis offline. Sincronização O StackEdit pode ser combinado ao Google Drive e ao Dropbox para ter seus documentos salvos na Núvem . O mecanismo de sincronização toma conta do carregamento de suas modificações ou descarrega a mais nova versão de seus documentos. Nota: Acesso completo ao Google Drive ou ao Dropbox é requerido para ser possível a importação de qualquer documento no StackEdit. Restrições de permissão podem ser configuradas nos ajustes ( settings ). Documentos importados são descarregados em seu navegador e não são transmitidos a um servidor. Publicaç...