Archlinux.fr [Forums]

Personne ne sait comment on peut changer de police sur arch?

Ce n'est pas sous Arch, juste sous ton environnement graphique, donc sous openbox (peut-être même dans le menu).

Si on veut pinailler, c'est du contournement cependant. Il faudrait reprendre le code pour gérer les espaces (sauf qu'en bash, c'est chiant). ^^

... mais c'est un autre problème.

> Il faudrait reprendre le code pour gérer les espaces (sauf qu'en bash, c'est chiant).

Les espaces sont gérés par le pipemenus. Le problème est que dans une police non monospace, les caractères ont une taille différente. Il est donc impossible d'aligner les colonnes.

@Kristen, il faut utiliser obconf ou aller taper dans le fichier ~/.config/openbox/rc.xml

Je ne crois pas que l'on puisse changer la police juste dans les pipemenus. Tu devrais jeter un œil sur ~/.config/openbox/rc.xml

on y trouve notamment une section et . Chez moi j'ai :

Code : Tout sélectionner

    <font place="MenuHeader">
      <name>sans</name>
      <size>9</size>
      <!-- font size in points -->
      <weight>normal</weight>
      <!-- 'bold' or 'normal' -->
      <slant>normal</slant>
      <!-- 'italic' or 'normal' -->
    </font>
    <font place="MenuItem">
      <name>sans</name>
      <size>9</size>
      <!-- font size in points -->
      <weight>normal</weight>
      <!-- 'bold' or 'normal' -->
      <slant>normal</slant>
      <!-- 'italic' or 'normal' -->
    </font>

Tu peux essayer de faire joujou avec, moi j'ai laissé les valeurs par défaut.

Ceci dit comme je sais que tu utilises tint2 pourquoi n'utilises-tu pas directement le clic sur la zone date/time avec un calendrier tout bête comme gsimplecal. dans ton tint2.rc tu peux mette quelque-chose du genre :

Code : Tout sélectionner

# Clock
time1_format = %a %d %b %H:%M
time1_font = Sans 12
clock_font_color = #FFFFFF 100
clock_tooltip = 
clock_padding = 0 0
clock_background_id = 1
clock_lclick_command = gsimplecal

tu peux même rajouter une autre commande accessible avec le bouton droit avec

Code : Tout sélectionner

clock_rclick_command = cequetuveux

PS tu peux aussi jeter un œil sur le wiki d'openbox

FoolEcho a écrit :Ce n'est pas sous Arch, juste sous ton environnement graphique, donc sous openbox (peut-être même dans le menu).

oui, c'est vrai

mimas a écrit :@Kristen, il faut utiliser obconf ou aller taper dans le fichier ~/.config/openbox/rc.xml

obconf qui va modifier rc.xml oui c'est là qu'il faut chercher, merci.

vintherine a écrit :Je ne crois pas que l'on puisse changer la police juste dans les pipemenus. Tu devrais jeter un œil sur ~/.config/openbox/rc.xml

on y trouve notamment une section et . Chez moi j'ai :
Code : Tout sélectionner
 
 <name>sans</name>
 <size>9</size>
 
 <weight>normal</weight>
 
 <slant>normal</slant>
 
 
 
 <name>sans</name>
 <size>9</size>
 
 <weight>normal</weight>
 
 <slant>normal</slant>
 
 
Tu peux essayer de faire joujou avec, moi j'ai laissé les valeurs par défaut. [/code]

PS tu peux aussi jeter un œil sur le wiki d'openbox

D'après mes essais, c'est qu'il faut modifier.

vintherine a écrit :Ceci dit comme je sais que tu utilises tint2 pourquoi n'utilises-tu pas directement le clic sur la zone date/time avec un calendrier tout bête comme gsimplecal.

Finalement, c'est ce que je vais probablement faire ... car c'est pas très beau une police mono

Certaine polices monospace sont fabuleuses. Perso, j'utilise Pragmata Pro et elle est super pour programmer.

Archlinux.fr [Forums]

[openbox]pipemenus(Résolu)

Re: [openbox]pipemenus

Re: [openbox]pipemenus

Re: [openbox]pipemenus

Re: [openbox]pipemenus

Re: [openbox]pipemenus

Re: [openbox]pipemenus(Résolu)