Perguntas com a marcação «linux»

28
Como ler um arquivo ACSM no Linux?

Então, eu precisava do livro da Semantics Engineering with PLT Redex para concluir uma tarefa de casa esta semana. Eu precisava dele em formato digital, porque vou para o POPL 2016 amanhã e não posso entregá- lo para mim. Por isso, paguei US $ 50 pelo e-book para poder concluir minha lição de...

28
Para onde vão os metadados quando você salva um arquivo?

Digamos que Johnny crie um arquivo VAZIO. É chamado foobar.py. Quando Johnny permite que seja executado, ele corre chmod 755 foobar.py. O arquivo agora tem os metadados de -rw-r--r-- 1 johnny staff 0 Dec 27 22:53 foobar.py Onde estão todos os metadados armazenados nesse arquivo? O tamanho do...

27
Troque o tamanho da partição por 4 GB de RAM

Estou planejando instalar a versão Ubuntu 9.04. Quanto espaço devo dedicar para a partição de troca. Lembro-me de configurá-lo para dobrar o tamanho da RAM quando o instalei há muito tempo. Naquela época, minha RAM era de 256 MB. Então eu configurei a partição swap para 512...

27
Posso inicializar o Linux a partir de um VHD?

Existe alguma maneira de inicializar um sistema Linux a partir de um VHD no Windows 7? Se existe uma maneira, como colocá-la lá em primeiro lugar? EDIT: Para esclarecer, não estou tentando executar o Linux em uma VM. Estou tentando inicializá-lo na minha máquina física, a partir de um VHD, como...

27
Comando Bash para cortar a saída após x número de linhas

Estou procurando um comando bash, que possa ser usado para limitar o número de linhas de um arquivo ou outra saída de comando. Por exemplo ls -thor | limit 10 limitaria a saída do comando ls a 10 linhas (no exemplo, o comando "limit" é naturalmente um comando imaginário, cujo equivalente estou...

27
Como executar um .exe no prompt de comando linux

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Superusuário. Migrou 10 anos atrás . Eu sou novo no Linux. Atualmente, estou tentando escrever uma linha de comando que deve executar um * .exe dentro de uma pasta abc. eu tentei % cd abc

27
Obtenha o tamanho do MP3 no Linux / FreeBSD

Eu tenho um monte de arquivos mp3 com vários tamanhos. Quero reduzi-lo para 50% -60% de comprimento. Diz, de 1 minuto a 30 segundos. Deve ser trivial usando ffmpeg. Mas não sei como determinar o tamanho original como base para o processamento usando o ffmpeg. Alguém tem uma