🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: gnu.emacs.help
Article #188953

Re: Using a VT420 -- how do I get Ctrl-_?

#188953
From: Chris Petrilli
Date: Fri, 07 Jun 1991 21:05
17 lines
1397 bytes
Mark R. Ludwig writes:

   On all the DEC terminal keyboards I've used, the key which sends
   Control-_ is Control-/.  That's Control-Slash.  Since it's not a
   shift key, it's *much* easier to hit, IMHO.  I use it all the time!
   It's one of the reasons I think Emacs beats the pants off all the
   other editors.$$

I just tried that on a real VT220, and it works... thanks.
Unfortunately, MS-Kermit doesn't do that... maybe it's time to teach
it some new tricks.

Chris
--
| Chris Petrilli
| petrilli@gnu.ai.mit.edu
| I don't even speak for myself.
Technical Details
Message-ID: <PETRILLI.91Jun7170501@geech.gnu.ai.mit.edu>
Path: arc1-ca.pugleaf.net!gmdzi!unido!unidui!math.fu-berlin.de!fauern!ira.uka.de!sol.ctr.columbia.edu!zaphod.mps.ohio-state.edu!rpi!bu.edu!ai-lab!life.ai.mit.edu!petrilli
References: <1991May31.183510.11803@news.media.mit.edu> <PETRILLI.91Jun6193037@geech.gnu.ai.mit.edu> <1991Jun7.152713.16430@uai.com>

Show Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103b8b,234593e3a3f53689
X-Google-Attributes: gid103b8b,public
X-Google-ArrivalTime: 1991-06-07 21:53:26 PST
Path: arc1-ca.pugleaf.net!gmdzi!unido!unidui!math.fu-berlin.de!fauern!ira.uka.de!sol.ctr.columbia.edu!zaphod.mps.ohio-state.edu!rpi!bu.edu!ai-lab!life.ai.mit.edu!petrilli
From: petrilli@geech.gnu.ai.mit.edu (Chris Petrilli)
Newsgroups: gnu.emacs.help
Subject: Re: Using a VT420 -- how do I get Ctrl-_?
Message-ID: <PETRILLI.91Jun7170501@geech.gnu.ai.mit.edu>
Date: 7 Jun 91 21:05:01 GMT
References: <1991May31.183510.11803@news.media.mit.edu>
 <PETRILLI.91Jun6193037@geech.gnu.ai.mit.edu>
 <1991Jun7.152713.16430@uai.com>
Sender: news@ai.mit.edu
Organization: /home/gp/petrilli/.organization
Lines: 17
In-reply-to: mrl@uai.com's message of 7 Jun 91 15:27:13 GMT