feat: Add workspace proxy enterprise cli commands #7123

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

Emyrk wants to merge 22 commits into stevenmasley/external_proxy_2 from dreamteam/external_proxy_cli_cmd

Tabs vs spaces

Loading branch information

Emyrk committed Apr 17, 2023

commit db78701937729667bdc6f3425a1b0b2d9c90cb8b

scripts/develop.sh

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -31,10 +31,10 @@ while true; do
  
    		password="$2"

    		shift 2

    		;;

      --use-proxy)

      	use_proxy=1

      	shift

      	;;

    	--use-proxy)

    		use_proxy=1

    		shift

    		;;

    	--)

    		shift

    		break