如果一个网站是通过源码部署的，那么在对应的文件夹内可以对源码直接进行更改。但是如果是docker部署的网站，该如何对其源码进行更改呢。