gerrit.named-data.net / mini-ndn / 4c85880a014eb3bdce0aedc1dc059a3092cf080b / . / ospfn / spp-wash / routing.sh