Apparently the documentation isn't very clear. Either the "source" is an error, or the documentation assumes you are executing the command inside a Git Bash window.
Antonis Christofides http://djangodeployment.com On 2017-04-14 15:03, Lorenz Schümann wrote: > Hey, newbie here. > I've followed the instructions on > https://docs.djangoproject.com/en/1.11/intro/contributing/ regarding > Virtualenv. And at the point where it says for Windows, to activate the > Virtualenv, type $ source ~/virtualenvs/djangodev/Scripts/activate, I found > out through StackExchange that indeed it's just the activate.bat you need to > run, as I don't have a source command in my Windows distro. Now isn't that the > most straight forward way anyway and should replace the method, which is > written down in the tutorial. > -- > You received this message because you are subscribed to the Google Groups > "Django users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to django-users+unsubscr...@googlegroups.com > <mailto:django-users+unsubscr...@googlegroups.com>. > To post to this group, send email to django-users@googlegroups.com > <mailto:django-users@googlegroups.com>. > Visit this group at https://groups.google.com/group/django-users. > To view this discussion on the web visit > https://groups.google.com/d/msgid/django-users/99317c1e-01ac-49bf-9064-96acd4e3f690%40googlegroups.com > <https://groups.google.com/d/msgid/django-users/99317c1e-01ac-49bf-9064-96acd4e3f690%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Django users" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-users+unsubscr...@googlegroups.com. To post to this group, send email to django-users@googlegroups.com. Visit this group at https://groups.google.com/group/django-users. To view this discussion on the web visit https://groups.google.com/d/msgid/django-users/7b3153d7-5d2f-51c9-2c26-2ead181d4e0d%40djangodeployment.com. For more options, visit https://groups.google.com/d/optout.