Perguntas com a marcação «extension»

Qual é a mbstringextensão PHP e qual é a melhor maneira de instalá-lo no Ubuntu

Como instalo extensões de shell do GNOME? É possível atualizar, remover e gerenciar as

Na ferramenta Gnome Tweak, não consigo alterar o tema do Shell: Pairando sobre o ponto de exclamação mostra o seguinte ferramenta de ponta: Shell user-theme extension not enabled. Estou usando o Ubuntu 14.10 e instalei o

Há fotos de animais que aparecem aleatoriamente no meu computador. Quando movo o mouse sobre o animal, ele se transforma em um ícone de espada e, quando clico, o animal desaparece, mas depois de alguns minutos outro animal aparece. Eu acho que pode estar relacionado ao Chromium, mas não tenho...

O shell GNOME possui o chamado "canto quente", que abre o painel se o mouse tocar no canto superior esquerdo da tela do monitor. Eu quero esse desabilitado. Eu costumava ter uma extensão de shell GNOME, mas o repositório não é mais encontrado: git clone

Como ocultar a barra superior no Gnome 3.28 Ubuntu 18.04? Como a extensão hide-top-bar pode ser

Estou executando o Ubuntu Gnome 13.10 com o Gnome 3.10. Meu problema é que toda vez que eu reinicio o sistema operacional, todas as extensões de shell são desativadas. O estranho é que suas configurações são mantidas. Eles estão desligados e eu tenho que reativá-los sempre. Como posso torná-los...

Descrição do Problema Eu realmente gosto dos espaços de trabalho 2 por 2 no Ubuntu 16.04. Mas parece que só posso mudar o espaço de trabalho para cima e para baixo. Existe uma maneira de conseguir isso? O que eu tentei Tentei a extensão do GNOME chamada Workspace Grid (sugerida aqui: Posso ter...

Onde posso encontrar o pacote de extensão do Virtualbox para 14.04.1 LTS (64 bits) Eu instalei o virtualbox via synaptic. A versão instalada é 4.3.10. Não consigo localizar um pacote de extensão correspondente. Meu fallback seria instalar diretamente, mas estou curioso para saber se está...

Onde as extensões são armazenadas depois de instaladas no

Digamos que eu instalei com êxito meu conjunto de extensões gnome-shell. Mas eu quero desativar / desativar a partir da linha de comando. Isso só é possível através da ação do mouse, AFAIK. Como eu posso fazer isso

Estou migrando do Unity para o GNOME. Um item que está faltando é o botão "Mostrar área de trabalho" (também conhecido como "minimizar todas as janelas") no painel. Como posso adicionar essa funcionalidade ao traço do GNOME (ou dock do Ubuntu no Ubuntu 17.10 e posterior), mesmo que isso signifique...

Estou executando o gnome-shell 3.4.1 no Ubuntu 12.04. Venho testando várias extensões do http://extensions.gnome.org e agora quero remover completamente algumas, especialmente para que elas não ocupem espaço na Gnome Tweak Tool. É seguro excluir a pasta de extensão abaixo

Quando crio um novo documento destinado a conter apenas texto sem formatação, não sou obrigado pelo Ubuntu a adicionar uma extensão .txt ao seu nome. Funciona realmente muito bem: o gedit abre sem problemas, entendendo muito bem que é apenas texto. Os únicos dois argumentos profissionais que...

O grande cais à esquerda. Em outras versões, você pode escapar do Unity Launcher acessando o gnome, e agora? Os ajustes do Gnome não o mostram como uma extensão, embora pareça muito com o dash to dock. Vejo opções de ocultar automaticamente nas configurações, mas não há como removê-lo...

Sei como acessar o site https://extensions.gnome.org/ e baixar as extensões gnome-shell, mas agora preciso instalar algumas extensões disponíveis no computador sem acesso à Internet. Ele está em uma rede corporativa interna e não há como obter acesso externo à Internet, portanto, devo encontrar...

Eu estava querendo desenvolver algumas extensões do Gnome Shell, uma vez que elas são apenas em javascript, no entanto, eu tenho procurado e existe praticamente zero documentação, em todos os lugares em que olho, as pessoas dizem apenas para usar a documentação básica do Gnome, mas isso NÃO ajuda,...

O Ubuntu 17.10 apresenta o GNOME Shell com o Ubuntu Dock (baseado na extensão Dash to Dock GNOME Shell) e permite colocar o Dock na parte inferior da área de trabalho: No entanto, não há uma maneira fácil de mover o ícone Mostrar aplicativos (mostrado à direita) para a esquerda do Dock. Não...

Como obtenho mais informações sobre por que uma extensão específica não está funcionando e me mostrando "Erro ao carregar a extensão" ao tentar

A ordem dos widgets de extensão do shell parece ser aleatória. Como posso alterá-lo? Quero ter as informações de data / hora à esquerda, por exemplo. Meu painel