Questions marquées «head»

5
Qu'est-ce que la tête dans git?
Il semble y avoir une différence entre le dernier commit, le HEAD et l'état du fichier que je peux voir dans mon répertoire. Qu'est-ce que HEAD, que puis-je en faire et quelle erreur dois-je éviter?
232 git  head 
3
Différence entre HEAD et master
Quelle est la différence entre le HEADet masterdans Git? J'ai fait un clone d'un projet sur GitHub et je souhaite transférer mes modifications vers la télécommande. Mais vers lequel dois-je pousser?
189 git  github  head  master 
16
Lire les N premières lignes d'un fichier en python
Nous avons un gros fichier de données brutes que nous aimerions découper à une taille spécifiée. J'ai de l'expérience en .net c #, mais j'aimerais le faire en python pour simplifier les choses et par intérêt. Comment procéder pour obtenir les N premières lignes d'un fichier texte en python? Le …
150 python  file  head 
8
Performances http HEAD vs GET
Je suis en train de mettre en place un service Web REST qui doit simplement répondre OUI ou NON, le plus rapidement possible. Concevoir un service HEAD semble la meilleure façon de le faire mais j'aimerais savoir si je gagnerai vraiment du temps par rapport à une requête GET. Je …
111 http  get  head 
5
Tête et queue en une seule ligne
Existe-t-il un moyen pythonique de décompresser une liste dans le premier élément et la "queue" en une seule commande? Par exemple: >> head, tail = **some_magic applied to** [1, 1, 2, 3, 5, 8, 13, 21, 34, 55] >> head 1 >>> tail [1, 2, 3, 5, 8, 13, 21, …
90 python  list  tail  head 
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.