煤电钻是岩巷掘进的主要钻眼工具。