Pular para o conteúdo principal

Minha Configuração para o GAMIN

Para evitar que o GAMIN pesquise por mudanças em sistemas de arquivos várias vezes em um intervalo curto de tempo, utilizei uma configuração personalizada aumentando o intervalo de monitoração de sistemas de arquivos NFS. Essa configuração é boa principalmente para usuários que montam a área HOME via automount/NFS, minimizando a utilização de recursos de rede e CPU.

Para alterar a configuração do GAMIN (gam_server) por usuário, crie um arquivo chamado .gaminrc no diretório HOME dele e coloque o seguinte conteúdo:


# ~/.gaminrc
# configuration for gamin
# Can be used to override the default behaviour.
# notify filepath(s) : indicate to use kernel notification
# poll filepath(s) : indicate to use polling instead
# fsset fsname method poll_limit : indicate what method of notification for the filesystem
# kernel - use the kernel for notification
# poll - use polling for notification
# none - don't use any notification
#
# the poll_limit is the number of seconds
# that must pass before a resource is polled again.
# It is optional, and if it is not present the previous
# value will be used or the default.
fsset nfs poll 10 # use polling on nfs mounts and poll once every 10 seconds


Com isso o gam_server só vai pesquisar por arquivos alterados a cada 10 segundos para os volumes montados via NFS.

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ç...