On Tue, Apr 6, 2021 at 7:32 PM Leo Butler <leo.butler@umanitoba.ca> wrote:
>
> Hongyi Zhao <hongyi.zhao@gmail.com> writes:
>
> > On Ubuntu 20.04, I set the following proxy settings in
~/.emacs.d/init.el,
> >
> > ;;; begin
> > (setq url-proxy-services '(
> >             ("no_proxy" .
> >
"^\\(.*\\.cn\\|localhost\\|10\\..*\\|127\\..*\\|172\\.16\\..*\\|172\\.17\\..*\\|192\\.168\\..*\\)")
> >             ; "http://127.0.0.1:8080" doesn't work
> >             ("http" . "127.0.0.1:8080")
> >             ("https" . "127.0.0.1:8080")
> >                           ))
> > ;;; end
> >
> > As you can see, the "no_proxy" string is rather cumbersome, and I want
> > to express the following, but I still don't know what to do:
> >
> > "*.cn,localhost,10.0.0.0/8,127.0.0.0/8,172.16.0.0/12,192.168.0.0/16"
> >
> > Any hints will be highly appreciated.
>
>
> C-h i f regexp-opt RET

See the following screenshot:

[image: Screenshot from 2021-04-07 00-24-08.png]
What's wrong with my operation?

Regards
-- 
Assoc. Prof. Hongyi Zhao <hongyi.zhao@gmail.com>
Theory and Simulation of Materials
Hebei Polytechnic University of Science and Technology engineering
NO. 552 North Gangtie Road, Xingtai, China