Domande taggate «file»

Un blocco di informazioni arbitrarie, o risorsa per la memorizzazione di informazioni, accessibile tramite il nome o il percorso basato su stringa. I file sono disponibili per i programmi per computer e di solito si basano su un tipo di archiviazione persistente.

4
Seleziona 50 voci dall'elenco a caso per scrivere sul file
Finora ho capito come importare il file, creare nuovi file e randomizzare l'elenco. Ho problemi a selezionare casualmente solo 50 voci dall'elenco per scrivere su un file? 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) for item in …
129 python  file  list  select  random 
11
Come forzare il download di file con PHP
Voglio richiedere che un file venga scaricato quando l'utente visita una pagina web con PHP. Penso che abbia qualcosa a che fare con file_get_contents, ma non sono sicuro di come eseguirlo. $url = "http://example.com/go.exe"; Dopo aver scaricato un file con header(location)esso non viene reindirizzato a un'altra pagina. Si ferma e …
125 php  file  download 
1
Ottieni il nome del file e l'estensione in Ruby
Sto lavorando a un programma per scaricare un video da YouTube, convertirlo in MP3 e creare una struttura di directory per i file. Il mio codice è: 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 …
123 ruby  file 
4
python richiede il caricamento del file
Sto eseguendo una semplice operazione di caricamento di un file utilizzando la libreria di richieste Python. Ho cercato Stack Overflow e nessuno sembrava avere lo stesso problema, vale a dire che il file non viene ricevuto dal server: 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' …
8
Come estrarre il file filename.tar.gz
Voglio estrarre un archivio denominato filename.tar.gz. L'utilizzo tar -xzvf filename.tar.gznon estrae il file. dà questo errore: gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error exit delayed from previous errors
120 linux  file  gzip  tar 
6
Aggiungi TimeStamp a un nome file
Mi sono imbattuto in questo problema più volte in cui vorrei avere più versioni dello stesso file nella stessa directory. Il modo in cui l'ho fatto usando C # è aggiungendo un timestamp al nome del file con qualcosa di simile DateTime.Now.ToString().Replace('/', '-').Replace(':', '.'). C'è un modo migliore per farlo?
118 c#  .net  file  datetime  file-io 
5
is_file o file_exists in PHP
Devo controllare se un file si trova su HDD in una posizione specificata ($ path. $ Nome_file). Quale è la differenza tra is_file()e file_exists()funzioni e che è meglio / più veloce per l'uso in PHP?
117 php  file  exists 
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.