add sehistory config to be updated

2025-05-06 10:43:47 +02:00
parent 645a1e1198
commit 1c3c02ccad
2 changed files with 12 additions and 0 deletions
--- a/1
+++ b/1
@ -314,6 +314,7 @@ def do_feeder():
    """history feeder"""
    if check_repo(home, 'sehistory', None, 'master'):
        do('git pull')
+        docopy('cfg/sehistory', join(home, '.config', 'sehistory'))


 def do_seweb():