add: copy man1 folder to mirror on use

[pjgoodall]

Hi @MordechaiHadad,

I just saw this - about to head off on holidays for a week.

Tried installing the branch on a fully upgraded VirtualBox Ubuntu 22.04.3

Didn't find the link to the manual - I haven't had time to do any troubleshooting - my apologies. Here is a record of what I did to test. I'm not very experienced at this - so I can't guarantee my work. I will have another look in ten days and help get this right.

Cheers...

# full upgrade as of today

$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 22.04.3 LTS
Release:    22.04
Codename:   jammy

$ cargo install --branch feat/man-copying --git https://github.com/MordechaiHadad/bob.git

$ update-alternatives --version
Debian update-alternatives version 1.21.1.

$ update-alternatives --display vim
update-alternatives: error: no alternatives for vim

$ bob install latest
Dec 28 07:14:54.101  INFO Fetching latest version
Downloaded version v0.9.4 to /home/peterg/.local/share/bob/v0.9.4.appimage
  [00:00:01] [██████████████████████████████████████████████] 10.67MiB/10.67MiB (6.40MiB/s, 0s)
Dec 28 07:14:57.210  INFO v0.9.4 has been successfully installed in /home/peterg/.local/share/bob

~$ bob list
┌───────────┬─────────────┐
│  Version  │  Status     │
├───────────┼─────────────┤
│  v0.9.4   │  Installed  │
└───────────┴─────────────┘

$ bob use latest
Dec 28 07:22:52.465  INFO Fetching latest version
Dec 28 07:22:53.085  INFO Make sure to have /home/peterg/.local/share/bob/nvim-bin in PATH
Dec 28 07:22:53.144  INFO Make sure to have /home/peterg/.local/share/bob/nvim-bin in PATH
Dec 28 07:22:53.144  INFO You can now use v0.9.4!

# added to PATH

$ which nvim
/home/peterg/.local/share/bob/nvim-bin/nvim

$ sudo apt install vim

$ update-alternatives --list vim
/usr/bin/vim.basic

$ sudo update-alternatives --install $(which vim) vim $(which nvim) 10

$ update-alternatives --display vim
vim - auto mode
  link best version is /usr/bin/vim.basic
  link currently points to /usr/bin/vim.basic
  link vim is /usr/bin/vim
/home/peterg/.local/share/bob/nvim-bin/nvim - priority 10
/usr/bin/vim.basic - priority 30

$ sudo update-alternatives --config vim
There are 2 choices for the alternative vim (providing /usr/bin/vim).

  Selection    Path                                         Priority   Status
------------------------------------------------------------
* 0            /usr/bin/vim.basic                            30        auto mode
  1            /home/peterg/.local/share/bob/nvim-bin/nvim   10        manual mode
  2            /usr/bin/vim.basic                            30        manual mode

Press <enter> to keep the current choice[*], or type selection number: 1
update-alternatives: using /home/peterg/.local/share/bob/nvim-bin/nvim to provide /usr/bin/vim (vim) in manual mode

$ man vim | head
VIM(1)                                      General Commands Manual                                      VIM(1)

NAME
       vim - Vi IMproved, a programmer's text editor

SYNOPSIS
       vim [options] [file ..]
       vim [options] -
       vim [options] -t tag
       vim [options] -q [errorfile]

# #unable to find the manual       
$ tree -L 2 /home/peterg/.local/share/bob/
/home/peterg/.local/share/bob/
├── nvim-bin
│   └── nvim
├── used
└── v0.9.4
    └── nvim-linux64

[MordechaiHadad]

All good, have fun.

[MordechaiHadad]

inactivity