.bash_profile在Vagrant

Question

我正在使用Vagrant，并且需要在$PATH文件中添加新路径/usr/local/bin 。 当我查看主目录时，看不到.bash_profile文件。 我可以看到一个.profile文件。 看起来像：

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.

# the default umask is set in /etc/profile; for setting the umask
# for ssh logins, install and configure the libpam-umask package.
#umask 022

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
        . "$HOME/.bashrc"
    fi
fi

# set PATH so it includes user's private bin directories
PATH="$HOME/bin:$HOME/.local/bin:$PATH"

我可以在这里添加新路径吗？因此PATH如下所示：

PATH="/usr/local/bin:$HOME/bin:$HOME/.local/bin:$PATH"

谢谢