push
Étymologie
modifier- Emprunt de l’anglais push (« pousser »).
Nom commun
modifierSingulier | Pluriel |
---|---|
push | pushs |
\puʃ\ |
push \puʃ\ masculin
- (Anglicisme) (Catch) Scénario mettant en valeur un catcheur.
Traductions
modifierVerbe
modifierpush \puʃ\ transitif invariable
- (Anglicisme informatique) (Programmation) Dans un système de gestion de versions, envoyer du code vers un dépôt.
Le projet est en cours de développement donc je vais push des mises à jours régulièrement !
— (site forum.cheat-gam3.com, 5 juin 2018)Vu que je n'ai pas accès au code du site 1, je pense que je vais push mes modifs du site 2 en prod et le tester depuis la prod.
— (site www.developpez.net, 15 décembre 2017)
Traductions
modifierPrononciation
modifier- France (Vosges) : écouter « push [Prononciation ?] »
- Somain (France) : écouter « push [Prononciation ?] »
Étymologie
modifier- Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.
Verbe
modifierTemps | Forme |
---|---|
Infinitif | to push \pʊʃ\ |
Présent simple, 3e pers. sing. |
pushes \ˈpʊʃ.ɪz\ |
Prétérit | pushed \pʊʃt\ |
Participe passé | pushed \pʊʃt\ |
Participe présent | pushing \ˈpʊʃ.ɪŋ\ |
voir conjugaison anglaise |
push \pʊʃ\ intransitif
Dérivés
modifier- push back
- push-up (« pompe (exercice physique) »)
- push poll
- pushy (« trop insistant ; arriviste, ambitieux »)
Prononciation
modifier- \pʊʃ\
- Texas (États-Unis) : écouter « push [Prononciation ?] »
- Connecticut (États-Unis) : écouter « push [Prononciation ?] »