probably better to not run ~/.bashrc again

dlech · dlech · commit 1b81bc37681d · 2016-09-30T14:06:11.000-05:00
diff --git a/docs/devtools/packaging-for-ev3dev.md b/docs/devtools/packaging-for-ev3dev.md
@@ -43,7 +43,8 @@ In a terminal, run...
 
 And the same info needs to be put into some environment variables. Paste the
 following to the end of `~/.bashrc`. You will need to start a new terminal
-or run `. ~/.bashrc` for these changes to take effect.
+or run run the same commands in the current terminal for these changes to take
+effect.
 
     export DEBFULLNAME="Your Name"
     export DEBEMAIL="yourname@example.com"
