# the full set of star names in obj2014:r (and of bright planets) - all are to be discarded in maps over 4.5 mag # (a former, limited list, amended to a full one using dbview, Dec 2016): if (( $Md \> 35 )) then sed -r " /Jupiter|Saturn|Mars|Venus/d /Mira|Algol|Pleiades|Hyades|Rigel|Capella|Betelgeuse/d /Sirius|Procyon|Pollux|Big Dipper|Arcturus|T CrB|Antares/d /Vega|Sheliak|Altair|Deneb|Enif|Fomalhaut|Canopus|Achernar/d /Toliman|Regulus|Denebola/d " map.eps >map2.eps mv map2.eps map.eps fi