Re: [PATCH] Rename the load command to source

[Jose E. Marchesi]

    > Hi Darshit.
    >     
    >     As discussed and decided during the GNU Hackers' Meeting, Jan 2020, we
    >     should rename the "load" command to "source". This makes the verb be
    >     more in-line with what the command really does.
    > 
    > This looks good.
    >     
    >     This patch does not currently change the --load command line switch.
    >     Renaming it to --source is easy, but I don't like making the short
    >     switch -S or leaving it as -l. So I'm currently looking for ideas on 
how
    >     to deal with it.
    > 
    > So the question is what to do with the short switch.  What about not
    > having a short switch for that?
    > 
    
    Not having a short switch works fine. `--source` isn't a lot to type.

I'm actually having second thoughts about this.

Currently the semantics of the dot-command .load is to always try to
load the specified file.  This is useful in cases where loading the file
failed due to a compilation error.

Now, if we keep exactly the same semantics for the in-language `load'
construct, then it makes full sense to call it a load.  Of course this
means that if the same pickle (that contains definitions) is loaded
twice, a compilation error will arise, but thats life...