Perguntas sobre 'linux-mint'

1
resposta

Adicionando data e hora ao painel Cinnamon no Mint

Eu acidentalmente removi o Tempo exibido na bandeja do sistema do Cinnamon no Linux Mint e não tenho certeza de como adicioná-lo novamente. Ele não parece estar disponível entre as opções na janela Applets (que aparece quando se escolhe "Add app...
08.02.2015 / 12:05
1
resposta

Baixando o FEniCS Binary para Linux Mint, qual é a diferença entre os dois ícones no link de download a seguir?

Eu sou um novato em sistemas operacionais Linux / Ubuntu. Neste link , não sei qual dos dois primeiros ícones do sistema operacional eu precisarei usar. Eu vou estar usando o Linux Mint. Qual deles eu precisarei usar? Uma explicação da diferenç...
25.01.2015 / 20:28
1
resposta

Default .pdf-viewer para o Filezilla usando Mint / Ubuntu

Atualmente estou usando o Filezilla 3.7.3. no Linux Mint 17 e tem problemas com o padrão .pdf-viewer. Eu clico duas vezes em um arquivo .pdf no navegador de arquivos incorporado, GIMP em vez de abrir um okular / evince / adobe-reader. Eu navegue...
01.02.2015 / 22:44
1
resposta

Onde o bash obtém seus dados de nome de host para definir HOSTNAME e como posso alterá-lo permanentemente?

Eu sei que você pode fazer algo assim: export HOSTNAME=xyz echo $HOSTNAME E você verá as alterações feitas. No entanto, onde o bash lê na inicialização para definir essa variável de ambiente? Eu sei que você pode, é claro, escreve...
05.12.2014 / 16:49
1
resposta

Parley diz “Falha ao determinar intérprete para scriptfile” para todos os scripts de ações no Mint 17 (com o Python 2.7.6)

Quando eu tentei usar o Parley 1.0.0 (que eu tinha instalado usando o Gerenciador de Software em Mint 17, 32-bit), eu baixei muitos arquivos vocab através do mecanismo embutido, e quando eu tentei o primeiro, ele me disse que todos os cinco comp...
03.12.2014 / 15:34
1
resposta

Não é possível instalar o driver proprietário da AMD (não é possível encontrar cabeçalhos de kernel)

Instalei o Linux Mint em uma configuração de computador relativamente antiga que tenho que usar como media center na minha TV. Como estou usando um chip gráfico dedicado da ATI, preciso dos drivers porque a área de trabalho se estende além dos l...
08.11.2014 / 06:04
1
resposta

O Linux Mint está mostrando o nome do mês em um idioma diferente do inglês

Eu tenho uma instalação do Linux Mint com interface em inglês, mas o nome do mês no console é em hebraico. Como faço para mostrar o nome do mês em inglês?     
22.10.2014 / 14:32
1
resposta

Inicialização dupla Win8.1 e Linux mint estragou tudo

Eu tenho a seguinte configuração: sda: 1 partição para programas win (NTFS),       1 partição para dados (NTFS),       1 partição para o Linux Mint (ext4),       1 partição swap sdb: SSD de 64GB com o W8.1 instalado O Bootloader foi ins...
17.10.2014 / 10:24
1
resposta

Instalação em modo texto para o Linux Mint

Eu baixei o ISO para Linux Mint Live Install (Qiana), e não vejo nenhuma opção para a instalação em modo texto. O menu do instalador que aparece na inicialização basicamente tem (1) Instalar e (2) Instalar no Modo de Compatibilidade, mas não...
08.10.2014 / 16:56
2
respostas

Desligamento no BURG

Estou usando BURG no meu computador com 2 partições: um Windows 7 e um Linux Mint 17, bem como o tema Sora. Tudo funciona perfeitamente, exceto o botão shutdown . Ao usar o comando halt , ele congela o computador. Ao usar o comando powero...
06.10.2014 / 21:48