Perguntas sobre 'linux'

2
respostas

Como ler um arquivo ACSM no Linux?

Então, eu precisava do livro de texto Engenharia semântica com PLT Redex para concluir uma tarefa de casa. semana. Eu precisava disso em um formato digital porque eu vou POPL 2016 amanhã e eu não posso tê-lo entregue para mim. Por isso, pagu...
17.01.2016 / 18:22
1
resposta

Existe uma maneira mais elegante de listar sessões do vncserver do que apenas obter a lista de PIDs em execução?

Como você lista suas vncserver sessões? Este artigo diz para fazer isso: $ cat ~/.vnc/*.pid 5910 6790 16589 21891 ... and many more Usando esse método, eu poderia escrever um script para verificar cada pid, mas tem que haver alg...
24.03.2013 / 18:19
5
respostas

Erro ao inicializar o cartão SD no Linux

Eu notei problemas com meu cartão microSD no meu telefone Android e quando tentei inseri-lo no meu laptop Linux, recebi o seguinte erro em dmesg : [ 247.588279] mmc0: error -123 whilst initialising SD card [ 247.591314] sdhci-pci 0000:0d:...
07.12.2014 / 21:05
3
respostas

Como faço para particionar e montar um disco rígido de 3 TB usando o terminal?

Eu tenho um disco rígido de 3 TB que eu gostaria de montar como uma única partição no servidor Ubuntu 11.10 Porque é mais de 2TB eu sei que há alguns problemas com isso. Não tenho certeza do que preciso fazer para que isso aconteça. Eu precis...
29.01.2012 / 03:13
1
resposta

Ubuntu Linux: localiza arquivos entre horários específicos?

Eu encontrei um SO chamado usando o Find / Grep para pesquisar arquivos entre a hora do dia específica Baseado nisso e um Unix SE chamado comando grep para encontrar arquivos contendo texto e movê-los acabei com: find . -type f -mtime...
09.04.2013 / 11:23
3
respostas

Como são tratados \ n e \ n de forma diferente no Linux e no Windows?

Acho que \n move a agulha para baixo e \r move a agulha para o início de uma linha (alinhamento à esquerda)? Não tenho certeza, no entanto. Então, se eu estiver errado, por favor corrija-me .... De qualquer forma, foi-me dito que o Wind...
03.01.2012 / 07:45
3
respostas

Como posso encontrar todos os arquivos com hardlink em um sistema de arquivos?

Eu preciso encontrar todos os arquivos com link físico em um determinado sistema de arquivos. Por exemplo. obter uma lista de arquivos, cada linha contém pares vinculados ou trios, etc. Eu entendo mais ou menos como fazer isso, é preciso cria...
10.10.2012 / 17:35
4
respostas

Por que as operações de cópia de arquivos no Linux ficam mais lentas com o tempo?

Eu tenho arquivos de 12 a 200 MB. Copiar um deles para outro drive leva 20 segundos. Quando tento copiar todos de uma só vez, primeiro ele diz que vai demorar 5 minutos, e depois diminui a velocidade nas horas e dias. Estou copiando os arquiv...
14.05.2012 / 23:51
7
respostas

Como uso o incrível gerenciador de janelas?

Instalei incríveis no meu laptop Ubuntu e gosto disso. Mas eu me sinto meio perdido. Eu não conheço nenhum atalho de teclado e as páginas do manual não são realmente nenhuma ajuda (por exemplo, o que significa o Mod4?). Existe algum tipo de b...
06.10.2009 / 15:40
4
respostas

Quais são as licenças das páginas de manual do Linux?

Qual é a licença nas man pages do Linux? GPL, domínio público, etc? A página da Wikipedia sobre o homem não parece ter nenhuma informação sobre o status de licenciamento das páginas man.     
18.02.2015 / 13:30