push.ksh – A Tool for Large Juniper Networks