Page 1 sur 1
Savez vous le nom de cette police
Publié : 07 mai 2019, 20:41
par Cyberdr3am
Bonjour,
Je ne savais absolument pas ou poster cette demande du coup ça sera ici.
Je cherche à savoir le nom de la police utiliser sur ce screen ( image de gauche )
https://github.com/ogham/exa/blob/maste ... g?raw=true
Si une personne a une idée ( J'ai tester plein de polices et je n'arrive pas a trouver la même )
D'avance merci
Re: Savez vous le nom de cette police
Publié : 08 mai 2019, 17:04
par jns55
Bonjour,
Apparemment, ça semblerait être
pragmata
si j'en crois ce site :
https://www.myfonts.com/WhatTheFont/
Mais elle n'est pas gratuite
Tu as des alternatives ici :
https://www.slant.co/options/236/altern ... ternatives
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 09:12
par Cyberdr3am
Merci beaucoup pour ta réponse,
J'avais tester ce site mais il m'avait donner des résultat étrange.
Je vais voir du coup si je ne trouve pas une alternative
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 09:21
par jns55
Il existe une fonte nommée Pragmata Medium en téléchargement libre ici :
https://www.fontpalace.com/font-details ... ta+Medium/
A voir si elle fait l'affaire.
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 10:55
par Cyberdr3am
Merci beaucoup.
J'ai tester pour voir et elle rend pas mal mais j'ai quelques soucis avec ( dans le terminal par exemple ) donc je vais continuer à chercher merci
edit: J'ai écris PragmataPro ttf dans google et il ma donner la police à charger gratuitement mais vu qu'elle est payante j'ai des doutes
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 11:16
par janodherepio
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 11:24
par janodherepio
Re :
mais malheureusement l'installation ne va pas jusqu'au bout !!
La construction du paquet échoue :
==> Création du paquet ttf-pragmatapro 0.827-3 (jeu. 09 mai 2019 12:16:50 CEST)
==> Vérification des dépendances pour l’exécution…
==> Vérification des dépendances pour la compilation…
==> Récupération des sources…
-> LICENSE trouvé
==> Validation des fichiers source avec sha256sums…
LICENSE ... Réussite
==> Extraction des sources…
==> Entre dans l’environnement fakeroot…
==> Lancement de package()…
==> You need a full copy of this font in order to install it
==> ERREUR : PragmataProB_0827.ttf not found
==> ERREUR : Une erreur s’est produite dans package().
Abandon…
:: Unable to build ttf-pragmatapro - makepkg exited with code: 4
"impossible de construire ttf-pragmatapro - makepkg est sorti avec le code 4 "
C'est quoi ce
code 4
??
Dommage ! Possible de modifier le pkgbuild pour faire quand même installer ce soft ???
EDIT
Quelques lignes au-dessus :
You need a full copy of this font in order to install it
ce qui semble vouloir dire :
vous avez besoin d'une copie complète de cette police pour l'installer
Ce paquet ne serait donc pas complet ????
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 11:53
par jns55
Dommage ! Possible de modifier le pkgbuild pour faire quand même installer ce soft ???
Tu peux essayer mais je crains fort qu'il ne trouve pas les suivantes de la liste.
"PragmataProB_0827.ttf"
"PragmataProB_liga_0827.ttf"
"PragmataProI_0827.ttf"
"PragmataProI_liga_0827.ttf"
"PragmataPro_Mono_B_0827.ttf"
"PragmataPro_Mono_B_liga_0827.ttf"
"PragmataPro_Mono_I_0827.ttf"
"PragmataPro_Mono_I_liga_0827.ttf"
"PragmataPro_Mono_R_0827.ttf"
"PragmataPro_Mono_R_liga_0827.ttf"
"PragmataPro_Mono_Z_0827.ttf"
"PragmataPro_Mono_Z_liga_0827.ttf"
"PragmataProR_0827.ttf"
"PragmataProR_liga_0827.ttf"
"PragmataProZ_0827.ttf"
"PragmataProZ_liga_0827.ttf"
Et si par chance ça fonctionne, elle ne sera pas complète.
https://github.com/wezm/aur/blob/master ... o/PKGBUILD
Re: Savez vous le nom de cette police
Publié : 09 mai 2019, 20:47
par Cyberdr3am
Bon je l'ai finalement mis depuis le github que j'ai trouver je le poste si une personne veux savoir comment faire.
Télécharger :
Lien vers la police supprimer pour éviter tout problème de droit. Police payante dispo sur Github
Le copier dans .fonts
Dans le terminal faire :
Par contre je ne comprend pas trop pourquoi la police est dispo dans un terminal mais pas dans un autre ça reste un mystère.
Re: Savez vous le nom de cette police
Publié : 10 mai 2019, 11:11
par janodherepio
merci pour ton lien mais hélas il ne fonctionne pas.
En fait ce n'est pas un lien !!!
Dommage.
Si tu peux mettre vraiment le lien ce serait super.
Un grand merci.
Re: Savez vous le nom de cette police
Publié : 10 mai 2019, 14:51
par Cyberdr3am
Hélas le lien du github permet d'avoir la police gratuitement mais la personne qui à crée cette police est totalement contre au faite qu'elle soit dispo gratuitement donc pour respecter le forum je ne peut pas poster ce lien sauf avec l'accord préalable des modo / admin
Re: Savez vous le nom de cette police
Publié : 10 mai 2019, 18:05
par janodherepio
Ok pas de soucis !!
Merci quand même