fish/functions/dump.fish @ 36f309a28403

Remove/update some plugins
author Steve Losh <steve@stevelosh.com>
date Mon, 23 Jul 2018 15:39:37 +0000
parents c55730194b70
children (none)
function dump -d "dump to/from the internet"
    hg -R ~/.plan push
    hg -R ~/.plan push git

    hg -R ~/src/cl-nrepl push

    hg -R ~/src/ru push

    hg -R ~/src/temperance push
    hg -R ~/src/temperance push git

    hg -R ~/src/scully push
    hg -R ~/src/scully push git

    hg -R ~/src/mazes push
    hg -R ~/src/mazes push git

    hg -R ~/src/cl-ggp push
    hg -R ~/src/cl-ggp push git

    hg -R ~/src/sand push
    hg -R ~/src/sand push git

    hg -R ~/src/hype push
    hg -R ~/src/hype push git

    hg -R ~/src/cl-losh push
    hg -R ~/src/cl-losh push git

    hg -R ~/src/beast push
    hg -R ~/src/beast push git

    hg -R ~/src/vex push
    hg -R ~/src/vex push git

    hg -R ~/src/cl-digraph push
    hg -R ~/src/cl-digraph push git

    hg -R ~/src/magitek push
    hg -R ~/src/magitek push git

    hg -R ~/src/chancery push
    hg -R ~/src/chancery push git

    hg -R ~/src/dotfiles push

    offlineimap -qf INBOX
end