Hi @hunght,
Not in this case. The go get command downloads the package and tries to install it.
The other command, cd badger && go install is run when the user is already inside github.com/dgraph-io/badger directory.
To generate the badger executable, use the cd badger && go install command.