vncserver dev env: add aliases to start/kill/restart Xvnc

builder/dockerfile.ubuntu_focal.vncserver.test

@@ -40,6 +40,9 @@ WORKDIR $HOME
 
 RUN pip3 install --user pipenv
 RUN echo 'PATH="/src/unix:~/.local/bin/:$PATH"' >> ~/.bashrc
+RUN echo 'alias s="sh /src/s"' >> ~/.bashrc
+RUN echo 'alias k="vncserver -kill :1"' >> ~/.bashrc
+RUN echo 'alias r="k; s"' >> ~/.bashrc
 RUN echo 'alias go="sh /src/s; vncserver -kill :1"' >> ~/.bashrc
 RUN echo 'alias ns="netstat -nltp"' >> ~/.bashrc
 RUN echo 'alias mamba="pipenv run mamba spec/"' >> ~/.bashrc