Make push() and pull() bash functions work