Perguntas com a marcação «file»

Um bloco de informações arbitrárias ou recurso para armazenamento de informações, acessível pelo nome ou caminho baseado em string. Os arquivos estão disponíveis para programas de computador e geralmente são baseados em algum tipo de armazenamento persistente.

4
Selecione 50 itens da lista aleatoriamente para gravar no arquivo
Até agora, descobri como importar o arquivo, criar novos arquivos e randomizar a lista. Estou tendo problemas para selecionar aleatoriamente apenas 50 itens da lista para gravar em um arquivo? def randomizer(input,output1='random_1.txt',output2='random_2.txt',output3='random_3.txt',output4='random_total.txt'): #Input file query=open(input,'r').read().split() dir,file=os.path.split(input) temp1 = os.path.join(dir,output1) temp2 = os.path.join(dir,output2) temp3 = os.path.join(dir,output3) temp4 = os.path.join(dir,output4) out_file4=open(temp4,'w') random.shuffle(query) …
129 python  file  list  select  random 






1
Obter nome de arquivo e extensão em Ruby
Estou trabalhando em um programa para baixar um vídeo do YouTube, convertê-lo em MP3 e criar uma estrutura de diretórios para os arquivos. Meu código é: FileUtils.cd("#{$musicdir}/#{$folder}") do YoutubeDlhelperLibs::Downloader.get($url) if File.exists?('*.mp4') puts 'Remove unneeded tempfile' Dir['*.mp4'].each do |waste| File.delete(waste) end else puts 'Temporary file already deleted' end Dir['*.m4a'].each do |rip| …
123 ruby  file 

4
python solicita upload de arquivo
Estou executando uma tarefa simples de upload de um arquivo usando a biblioteca de solicitações Python. Pesquisei Stack Overflow e ninguém parecia ter o mesmo problema, ou seja, que o arquivo não é recebido pelo servidor: import requests url='http://nesssi.cacr.caltech.edu/cgi-bin/getmulticonedb_release2.cgi/post' files={'files': open('file.txt','rb')} values={'upload_file' : 'file.txt' , 'DB':'photcat' , 'OUT':'csv' , 'SHORT':'short'} …

11
Como forçar o download de arquivos com PHP
Quero exigir que um arquivo seja baixado quando o usuário visitar uma página da web com PHP. Eu acho que tem algo a ver com file_get_contents, mas não sei como executá-lo. $url = "http://example.com/go.exe"; Depois de baixar um arquivo, header(location)ele não está redirecionando para outra página. Apenas para.
122 php  file  download 


8
Como extrair o arquivo filename.tar.gz
Eu quero extrair um arquivo chamado filename.tar.gz. Usar tar -xzvf filename.tar.gznão extrai o arquivo. é dá este erro: gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error exit delayed from previous errors
120 linux  file  gzip  tar 


6
Anexar carimbo de data / hora a um nome de arquivo
Já me deparei com esse problema várias vezes, no qual gostaria de ter várias versões do mesmo arquivo no mesmo diretório. A maneira como tenho feito isso usando C # é adicionando um carimbo de data / hora ao nome do arquivo com algo assim DateTime.Now.ToString().Replace('/', '-').Replace(':', '.'). Existe uma …
118 c#  .net  file  datetime  file-io 


5
is_file ou file_exists em PHP
Preciso verificar se um arquivo está no HDD em um local especificado ($ path. $ File_name). Qual é a diferença entre is_file()e file_exists()funções e que é melhor / mais rápido para uso em PHP?
117 php  file  exists 

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.