[spip-dev] Serveur Latex et mathml

2020-05-11 Par sujet cam.lafit

Bonjour

Avez-vous prévu de passer à MathML ? J'ai vu dans un fichier de config 
qu'il y avait une option pour cela. Qu'en est-il ? Pourra-t-on entrer 
les formules directement en MathML ou s'agira-t-il d'une traduction 
des formules latex ?


Il s'agit plus d'une question pour spip-dev (que je mets du coup en copie).

De mon coté j'assure la maintenance du serveur latex.spip.net pour 
répondre aux demandes de la communauté. Je n'ai pas suivi les évolutions 
possibles concernant mathml et son fonctionnement. En tout cas si on 
doit faire évoluer le service il n'y pas de problème en soit.


Km

Le 11/05/2020 à 20:00, Abossolo Foh Guy a écrit :

Bonjour,

Les navigateurs supportent maintenant nativement MathML. C'est le cas 
de Safari et des navigateurs utilisant aussi WebKit. FireFox et les 
produits dérivés basés sur GeckoView l'affichent également. Ce sera 
aussi le cas pour Chrome et ses dérivés (dont Edge) dans quelques 
semaines ou mois. Avez-vous prévu de passer à MathML ? J'ai vu dans un 
fichier de config qu'il y avait une option pour cela. Qu'en est-il ? 
Pourra-t-on entrer les formules directement en MathML ou s'agira-t-il 
d'une traduction des formules latex ?


Cordialement.

--

Le 2020-05-11 9:37, cam.lafit a écrit :

Bonjour

Oui le moteur latex que nous utilisions n'est plus maintenu.

On utilise maintenant mimetex au lieu de tex2im. C'est pour le moment
la meilleure solution qu'on ai trouvé. A disposition si on peut
améliorer le système.

km

Le 11/05/2020 à 02:06, Abossolo Foh Guy a écrit :

Bonjour,

Il semblerait également qu'il n'existe pas de signe + dans cette 
police.

Tous les signes + ne sont plus affichés.

Cordialement.

--

Bonjour,

Merci beaucoup, c'est effectivement mieux maintenant :).
J'ai aussi remarqué que la qualité des équations est très différente 
depuis plusieurs mois.
Les caractères sont pixelisés, cela pourrait-il venir de la police 
utilisée sur le serveur ?


Cordialement.

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


Re: [spip-dev] git.spip.net et reboot hardu

2020-05-11 Par sujet Maïeul Rouquette

Le 11/05/2020 à 11:00, Cerdic a écrit :

Hello,

pour info j’ai fait une vérificatione exhaustive de tous les dépôts ce 
week-end et j’ai identifié 21 dépots en erreur qu’il est impossible de 
cloner :


21 Repositories en erreur
- https://git.spip.net/spip-contrib-squelettes/html5up_hyperspace.git
- https://git.spip.net/spip-contrib-extensions/albums.git
- https://git.spip.net/spip-contrib-extensions/medias_responsive_mod.git
- https://git.spip.net/spip-contrib-extensions/maintenancekit.git
- https://git.spip.net/spip-contrib-extensions/correction_liens_internes.git
- https://git.spip.net/spip-contrib-extensions/coloration_code.git
- https://git.spip.net/spip-contrib-extensions/scssphp.git
- https://git.spip.net/spip-contrib-extensions/oembed.git
- https://git.spip.net/spip-contrib-extensions/prix.git
- https://git.spip.net/spip-contrib-extensions/datatables.git
- https://git.spip.net/spip-contrib-extensions/player.git
- https://git.spip.net/spip-contrib-extensions/eva_geometrie.git
- https://git.spip.net/spip-contrib-extensions/gis_geometries_histo.git
- https://git.spip.net/spip-contrib-extensions/gis_geometries_fusion.git
- https://git.spip.net/spip-contrib-extensions/figure.git
- https://git.spip.net/spip-contrib-extensions/diogene_agenda.git
- https://git.spip.net/spip-contrib-extensions/emballe_medias.git
- https://git.spip.net/spip-contrib-extensions/formidable_identification.git
- https://git.spip.net/spip-galaxie/contrib.spip.net.git
- https://git.spip.net/spip-galaxie/galactic.git
- https://git.spip.net/spip/petitions.git


^

pour contrib, j'avais une copie récente, que j'ai envoyé à camille

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


Re: [spip-dev] Migration framagit

2020-05-11 Par sujet Maïeul Rouquette

Le 11/05/2020 à 15:44, cam.lafit a écrit :

Salut

Tu n'as pas bu la tasse.

C'est un cas merdique que j'ai pas eu encore eu le temps de 
diagnostiquer. Un contournement est de supprimer la copie et de relancer 
l'import.


Je fini les autres points et on regarde ça ensemble tantôt.

km



au cas où : même topo pour
https://git.spip.net/spip-contrib-extensions/jQuery_number

(ca peut attendre la fin du debug des depots corrompus)

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


Re: [spip-dev] Migration framagit

2020-05-11 Par sujet cam.lafit

Salut

Tu n'as pas bu la tasse.

C'est un cas merdique que j'ai pas eu encore eu le temps de 
diagnostiquer. Un contournement est de supprimer la copie et de relancer 
l'import.


Je fini les autres points et on regarde ça ensemble tantôt.

km

Le 10/05/2020 à 10:14, jeanmarie a écrit :


Ça ressemble à 
https://www.mail-archive.com/spip-dev@rezo.net/msg68291.html



Le 10/05/2020 à 08:12, Fabrice Véronneau a écrit :

Salut à tous,

J'ai voulu faire une migration de plugin hier soir (en https), de 
*framagit* vers *spip.git* mais j'ai une tasse de thé qui ne cesse de 
se remplir. Je me suis dit que je m'étais trompé de propriétaire mais 
même en indiquant le bon, ça ne cesse d'infuser ;)


Voici les 2 dépôts qui ont mal tournés :
https://git.spip.net/fa_b/html5up_escape_velocity
https://git.spip.net/spip-contrib-squelettes/html5up_escape_velocity

Est-ce qu'un admin peut faire quelque chose ? Et éventuellement 
m'indiquer la bonne démarche.


A+

Fa_b

___
liste:https://listes.rezo.net/mailman/listinfo/spip-dev
doc:https://www.spip.net/
dev:https://core.spip.net/
irc://irc.freenode.net/spip


___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

Re: [spip-dev] git.spip.net et reboot hardu

2020-05-11 Par sujet BoOz
Merci pour la vérif, j'ai l'impression que datatables est le dixieme dans
ta liste. J'envoie un Zip à Camille.

Le lun. 11 mai 2020 à 11:01, Cerdic  a écrit :

>
> Par contre je vois que datatables n’est pas dans la liste, et en effet en
> allant voir le clone semble avoir bien créé le .git dans le dossier mais
> rien d’autre.
> Je vais aller voir pour renforcer le test de validité.
>
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

Re: [spip-dev] git.spip.net et reboot hardu

2020-05-11 Par sujet Cerdic
Hello,

pour info j’ai fait une vérificatione exhaustive de tous les dépôts ce week-end 
et j’ai identifié 21 dépots en erreur qu’il est impossible de cloner :

21 Repositories en erreur
- https://git.spip.net/spip-contrib-squelettes/html5up_hyperspace.git
- https://git.spip.net/spip-contrib-extensions/albums.git
- https://git.spip.net/spip-contrib-extensions/medias_responsive_mod.git
- https://git.spip.net/spip-contrib-extensions/maintenancekit.git
- https://git.spip.net/spip-contrib-extensions/correction_liens_internes.git
- https://git.spip.net/spip-contrib-extensions/coloration_code.git
- https://git.spip.net/spip-contrib-extensions/scssphp.git
- https://git.spip.net/spip-contrib-extensions/oembed.git
- https://git.spip.net/spip-contrib-extensions/prix.git
- https://git.spip.net/spip-contrib-extensions/datatables.git
- https://git.spip.net/spip-contrib-extensions/player.git
- https://git.spip.net/spip-contrib-extensions/eva_geometrie.git
- https://git.spip.net/spip-contrib-extensions/gis_geometries_histo.git
- https://git.spip.net/spip-contrib-extensions/gis_geometries_fusion.git
- https://git.spip.net/spip-contrib-extensions/figure.git
- https://git.spip.net/spip-contrib-extensions/diogene_agenda.git
- https://git.spip.net/spip-contrib-extensions/emballe_medias.git
- https://git.spip.net/spip-contrib-extensions/formidable_identification.git
- https://git.spip.net/spip-galaxie/contrib.spip.net.git
- https://git.spip.net/spip-galaxie/galactic.git
- https://git.spip.net/spip/petitions.git

Par contre je vois que datatables n’est pas dans la liste, et en effet en 
allant voir le clone semble avoir bien créé le .git dans le dossier mais rien 
d’autre.
Je vais aller voir pour renforcer le test de validité.

J’ai pu fournir à Camille un zip d’un checkout à jour pour 8 des dépots 
concernés :
coloration_code, scsssphp, oembed, prix, player, contrib.spip.net.git, 
galactic, petitions

Pour les autres, je vous invite à regarder ce que vous avez et à envoyer à 
Camille un zip du depot à jour si vous avez (notamment si vous êtes le dernier 
commiteur)
(le mieux est de regarder sur svn qui est le dernier à avoir commit)

--
Cédric
Le 11 mai 2020 à 00:43 +0200, RastaPopoulos , a écrit :
> Le 11/05/2020 à 00:38, nicod_ a écrit :
> > Y'a moyen de vérifier tous les dépôts en lot pour identifier tous les 
> > problèmes à coup sûr ?
>
> +1
> je demandais similairement sur IRC tout à l'heure :
>
> > (19:06:54) RastaPopoulos: ya un paquet de dépôts pétés en fait apparemment 
> > azerttyu
> > (19:07:02) RastaPopoulos: tous les jours on va en découvrir des nouveaux
> > (19:07:17) RastaPopoulos: ya pas un truc possible à faire pour tout 
> > corriger d'un coup ?
> > (19:07:31) RastaPopoulos: là par ex tu fais quoi comme opération quand on 
> > te signale un pété ?
> > (19:07:44) RastaPopoulos: on peut pas faire la même opération mais en masse 
> > sur 100% des dépôts ?
>
> --
> RastaPopoulos
>
> ___
> liste: https://listes.rezo.net/mailman/listinfo/spip-dev
> doc: https://www.spip.net/
> dev: https://core.spip.net/
> irc://irc.freenode.net/spip
___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

[spip-dev] Saisies et formulaire de configuration

2020-05-11 Par sujet Maïeul Rouquette

Bonjour,

pour info, suites aux questions de Stéphane et Rémi sur les formulaires 
de configuration de plugins avec Saisies :
- Rastapopoulos a ajouté dans la version 3.37.1 une détection 
automatique du type de formulaire, permettant d'aller chercher 
automatiquement les valeurs de configuration;

- j'ai écrit un tutoriel pour cette fonctionnalité :
https://contrib.spip.net/ecrire/?exec=article_article=5277

Avis bienvenus sur l'article.

Maïeul

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


Re: [spip-dev] Socle Interministériel de Logiciels Libres

2020-05-11 Par sujet cam.lafit

Bonjour

L'académie de Rennes vient de soumettre la demande.

Cela vient de m'être remonté par un autre canal qui suit ce qui se passe 
là bas.


Km

Le 08/05/2020 à 14:14, Pierre KUHN a écrit :

Le 07/05/2020 à 18:18, nicod_ a écrit :

Le 07/05/2020 à 16:35, RastaPopoulos a écrit :

Le 07/05/2020 à 16:08, Stephane Santon a écrit :

N'est-ce pas un référent "agent public de l'état" ??


Ah j'avais compris un truc comme ça moi aussi, que pour proposer, 
fallait plutôt faire partie d'un organisme public, puisque le but 
c'est de proposer des choses vraiment utilisés et suivis


Mais y'a des gens qui bossent dans des ministères dans la team, non ?


Bonjour,

Une académie prends le poste, j'attends un retour la dessus.

Cdt.

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip


Re: [spip-dev] git.spip.net et reboot hardu

2020-05-11 Par sujet teamspipfact...@gmail.com

si ça peu aider checkout et spip-cli couine sur

git clone https://git.spip.net/spip/petitions.git ./plugins-dist/petitions
Clonage dans './plugins-dist/petitions'...
remote: Counting objects: 2735, done.
remote: Compressing objects: 100% (602/602), done.
remote: Total 2735 (delta 2110), reused 2691 (delta 2085)
Réception d'objets: 100% (2735/2735), 588.63 Kio | 353.00 Kio/s, fait.
Résolution des deltas: 100% (2110/2110), fait.
*error: référence distante inconnue refs/heads/master**
**PHP Warning:  chdir(): No such file or directory (errno 2) in 
/opt/spip-cli/src/Command/CoreTelecharger.php on line 726*



Le 11/05/2020 à 00:43, RastaPopoulos a écrit :

Le 11/05/2020 à 00:38, nicod_ a écrit :

Y'a moyen de vérifier tous les dépôts en lot pour identifier tous les problèmes 
à coup sûr ?

+1
je demandais similairement sur IRC tout à l'heure :


(19:06:54) RastaPopoulos: ya un paquet de dépôts pétés en fait apparemment 
azerttyu
(19:07:02) RastaPopoulos: tous les jours on va en découvrir des nouveaux
(19:07:17) RastaPopoulos: ya pas un truc possible à faire pour tout corriger 
d'un coup ?
(19:07:31) RastaPopoulos: là par ex tu fais quoi comme opération quand on te 
signale un pété ?
(19:07:44) RastaPopoulos: on peut pas faire la même opération mais en masse sur 
100% des dépôts ?


--
spipfactory.fr

Perdu dans la Galaxie SPIP ? : https://boussole.spip.net/
---
Tout SPIPeur, qui fait quelquechose,
a contre lui ceux qui voudraient faire la même chose, ceux qui font précisément 
le contraire,
et surtout la grande armée des gens, beaucoup plus sévéres, qui ne fait rien.
Merci a ceux qui font.

___
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip