Searched refs:cut (Results 1 - 9 of 9) sorted by relevance

/hets/HolLight/OcamlTools/imageTools/
H A DmakeCheckpoint.sh8 DISTR=`cat /etc/*-release | grep DISTRIB_RELEASE | cut -d= -f2`
/hets/Common/test/
H A DcheckFunctions.sh5 wc -l $1 | tr -s " " | cut -d " " -f1,2 | tr -d -c [0-9]
/hets/FreeCAD/specifications/
H A Dgoals.tex75 & \text {on the z-axis (which may cut a 'cake-slice' and also the nort-pole/south-pole caps)}\notag\\
/hets/utils/debian/auto-package/
H A Dpackage_server44 CURR_DISTRO=`cat /etc/*-release | grep DISTRIB_CODENAME | cut -d'=' -f2`
H A Dpackage_trunk44 CURR_DISTRO=`cat /etc/*-release | grep DISTRIB_CODENAME | cut -d'=' -f2`
/hets/
H A DMakefile759 -@HWD=$${PWD} ; X=`echo $(PFE_BASE)| cut -f1 -d/`; \
/hets/debian/
H A Drules759 -@HWD=$${PWD} ; X=`echo $(PFE_BASE)| cut -f1 -d/`; \
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 85 milliseconds