Preguntas etiquetadas con file

Un bloque de información arbitraria, o recurso para almacenar información, accesible por el nombre o la ruta basada en cadenas. Los archivos están disponibles para los programas de computadora y generalmente se basan en algún tipo de almacenamiento persistente.

4
Seleccione 50 elementos de la lista al azar para escribir en el archivo
Hasta ahora he descubierto cómo importar el archivo, crear nuevos archivos y aleatorizar la lista. ¿Tengo problemas para seleccionar solo 50 elementos de la lista al azar para escribir en un archivo? 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) …
129 python  file  list  select  random 






1
Obtener nombre de archivo y extensión en Ruby
Estoy trabajando en un programa para descargar un video de YouTube, convertirlo a MP3 y crear una estructura de directorios para los archivos. Mi código es: 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 la carga de archivos
Estoy realizando una tarea simple de cargar un archivo usando la biblioteca de solicitudes de Python. Busqué Stack Overflow y nadie parecía tener el mismo problema, es decir, que el servidor no recibe el archivo: 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'} r=requests.post(url,files=files,data=values) …

11
Cómo forzar la descarga de archivos con PHP
Quiero solicitar que se descargue un archivo cuando el usuario visite una página web con PHP. Creo que tiene algo que ver file_get_contents, pero no estoy seguro de cómo ejecutarlo. $url = "http://example.com/go.exe"; Después de descargar un archivo con header(location)él no se redirige a otra página. Simplemente se detiene.
122 php  file  download 

8
Cómo extraer el archivo filename.tar.gz
Quiero extraer un archivo llamado filename.tar.gz. El uso tar -xzvf filename.tar.gzno extrae el archivo. da este error: gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error exit delayed from previous errors
120 linux  file  gzip  tar 


6
Agregar TimeStamp a un nombre de archivo
Me he encontrado con este problema varias veces en las que me gustaría tener varias versiones del mismo archivo en el mismo directorio. La forma en que lo he estado haciendo usando C # es agregando una marca de tiempo al nombre del archivo con algo como esto DateTime.Now.ToString().Replace('/', '-').Replace(':', …
118 c#  .net  file  datetime  file-io 


5
is_file o file_exists en PHP
Necesito verificar si un archivo está en el disco duro en una ubicación específica ($ ruta. $ Nombre_archivo). ¿Cuál es la diferencia entre is_file()y file_exists()funciones y que es mejor / más rápido para su uso en PHP?
117 php  file  exists 

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.