Ce site fonctionne mieux avec JavaScript.
Accueil
Explorateur
Aide
S'inscrire
Connexion
ka
/
ansible-role-home
Suivre
1
Ajouter aux favoris
0
Bifurcation
0
Code
Tickets
0
Demandes d'ajout
0
Versions
0
Wiki
Activité
Parcourir la source
Merge branch 'master' of git.thengo.net:ka/ansible-role-home
pull/1/head
Markus Katharina Brechtel
il y a 3 ans
Parent
493ef0590c
071fbbc04e
révision
cf6ad71176
1 fichiers modifiés
avec
4 ajouts
et
0 suppressions
Vue séparée
Option de Diff
Voir les Statistiques
Télécharger le Fichier Patch
Télécharger le Fichier des Différences
+4
-0
templates/workspaces/workspace.focus.fish.j2
+ 4
- 0
templates/workspaces/workspace.focus.fish.j2
Voir le fichier
@@ -3,5 +3,9 @@
i3-msg mode remote
{% if workspaces[workspace].activity is defined %}
{% if workspaces[workspace].activity %}
~/bin/timer begin_activity "{{workspaces[workspace].activity}}"
{% else %}
~/bin/timer end_activity
{% endif %}
{% endif %}