Questions marquées «file»

Un bloc d'informations arbitraires, ou ressource pour stocker des informations, accessible par le nom ou le chemin basé sur une chaîne. Les fichiers sont disponibles pour les programmes informatiques et sont généralement basés sur une sorte de stockage persistant.

4
Sélectionnez 50 éléments de la liste au hasard pour écrire dans un fichier
Jusqu'à présent, j'ai compris comment importer le fichier, créer de nouveaux fichiers et randomiser la liste. J'ai du mal à sélectionner seulement 50 éléments de la liste au hasard pour écrire dans un fichier? 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 …
129 python  file  list  select  random 
11
Comment forcer le téléchargement de fichiers avec PHP
Je veux exiger qu'un fichier soit téléchargé lorsque l'utilisateur visite une page Web avec PHP. Je pense que cela a quelque chose à voir avec file_get_contents, mais je ne sais pas comment l'exécuter. $url = "http://example.com/go.exe"; Après avoir téléchargé un fichier avec, header(location)il ne redirige pas vers une autre page. …
125 php  file  download 
4
python demande le téléchargement de fichiers
J'effectue une tâche simple de téléchargement d'un fichier à l'aide de la bibliothèque de requêtes Python. J'ai cherché Stack Overflow et personne ne semblait avoir le même problème, à savoir que le fichier n'est pas reçu par le serveur: 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' , …
1
Obtenir le nom et l'extension du fichier dans Ruby
Je travaille sur un programme pour télécharger une vidéo de YouTube, la convertir en MP3 et créer une structure de répertoires pour les fichiers. Mon code est: 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 
8
Comment extraire le fichier filename.tar.gz
Je souhaite extraire une archive nommée filename.tar.gz. L'utilisation tar -xzvf filename.tar.gzn'extrait pas le fichier. cela donne cette erreur: gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error exit delayed from previous errors
120 linux  file  gzip  tar 
6
Ajouter TimeStamp à un nom de fichier
J'ai rencontré plusieurs fois ce problème dans lequel je voudrais avoir plusieurs versions du même fichier dans le même répertoire. La façon dont je l'ai fait en utilisant C # est d'ajouter un horodatage au nom du fichier avec quelque chose comme ça DateTime.Now.ToString().Replace('/', '-').Replace(':', '.'). Y a-t-il une meilleure …
119 c#  .net  file  datetime  file-io 
5
is_file ou file_exists en PHP
Je dois vérifier si un fichier se trouve sur le disque dur à un emplacement spécifié ($ path. $ File_name). Quelle est la différence entre is_file()et file_exists()fonctions et ce qui est mieux / plus rapide à utiliser en PHP?
117 php  file  exists 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.