How to delete a file with ^? chars in the name?

[Jonathan Knight]

>From article <8000004 at hpopd.HP.COM>, by andyc at hpopd.HP.COM (Andrew Cunningham):
> Jeremy J. Epstein (jje at virtech.uucp) wrote:
>>In article <130045 at sun.Eng.Sun.COM>, lm at snafu.Sun.COM (Larry McVoy) writes:
>>> In article <7711 at unix.SRI.COM> ubi at ginger.sri.com (Ron Ueberschaer x4399) writes:
>>> >I have a file which is named ^?^?^?H01.b (delete character?) and can't
>>> >find a way to delete it.  An ls -s on the directory produces:

[various weird ideas deleted]

> No C programs, no hacks, just one or two simple commands.  Why does this
> discussion go on forever everytime the question is asked?

Why doesn't anyone suggest 'rm ???H01.b' - assuming that there are no other
file names ending in H01.b which are exactly 8 chars long this will work
fine.
-- 
  ______    JANET :jonathan at uk.ac.keele.cs     Jonathan Knight,
    /       BITNET:jonathan%cs.kl.ac.uk at ukacrl Department of Computer Science
   / _   __ other :jonathan at cs.keele.ac.uk     University of Keele, Keele,
(_/ (_) / / UUCP  :...!ukc!kl-cs!jonathan      Staffordshire.  ST5 5BG.  U.K.