man42

satirical man pages written at ENS in 2010-2011
git clone https://a3nm.net/git/man42/
Log | Files | Refs | README

commit 4c614573fed39ce1cfaca0b72c6feded33339f89
parent 0e2e49a31d9e98644dcc40875cd531d0a13916e9
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sun, 18 Sep 2011 02:09:32 +0200

update pot

Diffstat:
pot.42 | 82++++++++++++++++++++++++++++++++++++++++++++++---------------------------------
1 file changed, 48 insertions(+), 34 deletions(-)

diff --git a/pot.42 b/pot.42 @@ -344,64 +344,78 @@ est "oui" (voir .BR gras(42)). .PP Il est également possible de manger au pot le soir : c'est très -pratique, et il y a moins de monde (plus pratique), mais il y a moins de +utile, et il y a moins de monde (plus pratique), mais il y a moins de monde (moins convivial) et c'est plus cher. Une seule des quatre lignes est ouverte, ce qui est amplement suffisant ; sont proposés la salade à volonté, certains plats chauds (qui étaient en général déjà proposés le midi), un choix souvent maigre de périphériques, et des plats froids à réchauffer soi-même au micro-ondes. Les deux formules canoniques (qui coûtent autant que celle du midi, mais sont moins copieuses) sont plat -chaud + un périphérique, ou plat froid + deux périphériques. Cependant, -il existe une possibilité supplémentaire : celle de prendre un "plat de -légumes". Il s'agit d'un plat chaud sans la viande (ce qui laisse en -général des légumes et des féculents, quoiqu'il est souvent préférable -de jeter un coup d'oeil avant de prendre cette option pour s'assurer de -ne pas avoir que des haricots verts ou que des frites), avec la -possibilité (si la viande s'y prête) d'obtenir "un peu" de sauce en -plus. Le plat de légumes coûte 1 euro, et un périphérique coûte 80 -centimes, soit un coût imbattable de 1 euro 80 centimes pour un repas -tout à fait satisfaisant comportant légumes, sauce, périphérique -(dessert évidemment), pain et salade à volonté. Attention, l'obtention -du plat de légumes doit s'effectuer au moment de la facturation, de +chaud et un périphérique, ou plat froid et deux périphériques. +.PP +Un service de petit-déjeuner (ou, selon la phase, de dîner tardif) est +également proposé, mais par la +.BR cafeteria(42) +et non par le +.BR pot(42) : +c'est le +.BR petit_pot(42). +.SH HISTORY +Une description d'anciennes versions de +.BR pot(42) +peut être trouvée sur la page +.BR pot(I). +.PP +Il existait jusqu'à 2010 une possibilité supplémentaire pour le pot du +soir : +celle de prendre un "plat de légumes". Il s'agissait d'un plat chaud sans la +viande (ce qui laisse en général des légumes et des féculents, quoiqu'il +est souvent préférable de jeter un coup d'oeil avant de prendre cette +option pour s'assurer de ne pas avoir que des haricots verts ou que des +frites), avec la possibilité (si la viande s'y prête) d'obtenir "un peu" +de sauce en plus. Le plat de légumes coûtait 1 euro, et un périphérique +coûtait 80 centimes, soit un coût imbattable de 1 euro 80 centimes pour un +repas tout à fait satisfaisant comportant légumes, sauce, périphérique +(dessert évidemment), pain et salade à volonté. L'obtention +du plat de légumes devait être demandée au moment de la facturation, de l'une des deux façons équivalentes suivantes : .br > 220 Légumes seulement, s'il vous plaît. .br > 220 Que des légumes, s'il vous plaît. .br -L'obtention de sauce se demande au moment de la négociation du plat -chaud, et peut être initiée par le serveur, ou, à défaut, par le +La demande de sauce était émise au moment de la négociation du plat +chaud, et pouvait être initiée par le serveur, ou, à défaut, par le client : .br < 220 Vous voulez un peu de sauce ? .br > 220 Est-ce que je pourrais avoir un peu de sauce, s'il vous plaît ? .br -Attention, l'implémentation de cette norme du côté du serveur est assez -peu stable, et il peut être nécessaire de réémettre certaines commandes +L'implémentation de cette norme du côté du serveur était assez peu +stable, et il pouvait être nécessaire de réémettre certaines commandes lors de la facturation ou de la négociation des plats chauds, et de rappeler au serveur que le flag CLIENT_REQUESTS_ONLY_VEGETABLES a été -placé à True. Heureusement, le serveur peut effectuer un rollback en cas -d'erreur lors de la facturation (quoiqu'il peut alors émettre un message -d'avertissement si la charge est élevée). +placé à True. Heureusement, le serveur pouvait effectuer un rollback en +cas d'erreur lors de la facturation (quoiqu'il peut alors émettre un +message d'avertissement si la charge est élevée). +.PP +À la rentrée 2011 (ou peut-être avant), le format des tickets de pot +avait changé, et les serveurs du pot indiquaient que les bornes ne leur +permettaient plus de choisir un autre tarif pour le soir que le prix +unique de 3 euros 80. .br -Un service de petit-déjeuner (ou, selon la phase, de dîner tardif) est -également proposé, mais par la -.BR cafeteria(42) -et non par le -.BR pot(42) : -c'est le -.BR petit_pot(42). -.SH HISTORY -Une description d'anciennes versions de -.BR pot(42) -peut être trouvée sur la page -.BR pot(I). .SH BUGS Il est fréquent que le pot sature et que les délais d'attente soient désagréablement élevés. Le pic de charge se situe entre midi et quart et -une heure moins le quart environ. +une heure moins le quart environ. Les goulots d'étranglement sont +l'obtention des plats, et dans une moindre mesure l'obtention d'une +table, et l'accès à la régie (voir +.BR regie(42)) +et à la borne de rechargement (voir +.BR borne(42)). .SH "SEE ALSO" .BR internat (42), .BR gras (42), -.BR pas_pot (42). +.BR pas_pot (42), +.BR greve_du_pot (42)