兵工铲还是工兵铲

铲子不同于铲子。 兵铲是专门用来挖矿的，广泛用于挖战壕，铺路架桥。 军械铲又称军械铲，是军营中的重要装备。包括挖、锯、割、刺、切、夹、扣、钩、撬、锤、测等10余种工具。