Viktor, On Sun, May 10, 2020 at 2:22 PM Viktor Ransmayr <[email protected]> wrote:
> Since it is the first time that I'm trying to work on a Git branch, it > might well be that the problem is on my side ;-) > > The first (strange?) thing I've to report is that after I did a 'git pull' > - and - tried to do a 'git checkout #1563' the system responded with > > (Leo-Repo) [user@fedora-leo-study-vm leo-editor]$ git checkout #1563 > Your branch is up to date with 'origin/devel'. > (Leo-Repo) [user@fedora-leo-study-vm leo-editor]$ git branch > * devel > master > (Leo-Repo) [user@fedora-leo-study-vm leo-editor]$ > > In Linux shell, the '#' character indicates the start of a comment, so to git your command came through as just 'git checkout' and it did nothing. Try putting quotes around the branch name to keep the shell from seeing it as a comment: $ git checkout '#1563' Branch '#1563' set up to track remote branch '#1563' from 'origin'. Switched to a new branch '#1563' Brian -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAO5X8Cxr4Job6VHtOUQr73-UJpJRN8CJx5PYQOsbnHw0y7WNUA%40mail.gmail.com.
