On Windows 11 Pro 21 H2 update command seems to not work

[Jarod-M]

When an update is available to be installed from "Git CMD" I execute "Loda update" I get the following output seems to repeat itself over and over C:\Users\User>loda update 2023-02-19 10:29:03|INFO |Starting LODA v23.1.25. See https://loda-lang.org/ 2023-02-19 10:29:03|INFO |Using LODA home directory "C:\Users\User\loda\" 2023-02-19 10:29:04|INFO |Update to LODA v23.2.18 available 2023-02-19 10:29:05|INFO |Updating OEIS index (last update 0 days ago)

Update installed. Please run "loda setup" again to check and complete its configuration. 2023-02-19 10:29:17|INFO |Fetched http://api.loda-lang.org/miner/v1/oeis/stripped.gz 2023-02-19 10:29:17|WARN |Setting environment variable: PATH=C:\Program Files\Git\cmd;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\System32\WindowsPowerShell\v1.0\;C:\WINDOWS\System32\OpenSSH\;C:\ProgramData\chocolatey\bin;C:\Program Files (x86)\FAHClient;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\System32\WindowsPowerShell\v1.0\;C:\WINDOWS\System32\OpenSSH\;C:\Program Files (x86)\NVIDIA Corporation\PhysX\Common;C:\Program Files\NVIDIA Corporation\NVIDIA NvDLISR;C:\Program Files\Git\cmd;C:\Users\User\AppData\Local\Microsoft\WindowsApps;C:\Program Files (x86)\FAHClient;;C:\Program Files\Git\usr\bin 2023-02-19 10:29:24|INFO |Fetched http://api.loda-lang.org/miner/v1/oeis/names.gz 2023-02-19 10:29:24|INFO |Updating programs repository (last update 0 days ago) 2023-02-19 10:29:25|INFO |Cleaning up local programs directory 2023-02-19 10:29:25|INFO |Loading sequences from the OEIS index 2023-02-19 10:29:30|INFO |Loaded 348112/360393 sequences in 4.52s 2023-02-19 10:29:30|INFO |Regenerating program stats (last update 0 days ago) 2023-02-19 10:29:50|INFO |Processed 109455 programs 2023-02-19 10:29:56|INFO |Finished stats generation for 116413 programs 2023-02-19 10:29:58|INFO |Generating program lists at "C:\Users\User\loda\lists\" 2023-02-19 10:29:59|INFO |Finished generation of lists for 116411 programs

C:\Users\User>loda setup ===== Welcome to LODA v23.1.25! =====

This command will guide you through its setup.

Enter the directory where LODA should store its files. Note that non-default locations require manually adding the LODA_HOME environment variable to your computer. Press return for the default location (see below). [C:\Users\User\loda]

LODA v23.2.18 is available! Do you want to install the update? (Y/n) Y

C:\Users\User>

Update installed. Please run "loda setup" again to check and complete its configuration. loda setup ===== Welcome to LODA v23.1.25! =====

This command will guide you through its setup.

Enter the directory where LODA should store its files. Note that non-default locations require manually adding the LODA_HOME environment variable to your computer. Press return for the default location (see below). [C:\Users\User\loda] Y

LODA v23.2.18 is available! Do you want to install the update? (Y/n) Y

C:\Users\User>

Update installed. Please run "loda setup" again to check and complete its configuration.

Please also see similar output from previous version update try

C:\Users\User>loda setup ===== Welcome to LODA v23.1.5! =====

This command will guide you through its setup.

Enter the directory where LODA should store its files. Note that non-default locations require manually adding the LODA_HOME environment variable to your computer. Press return for the default location (see below). [C:\Users\User\loda]

LODA v23.1.11 is available! Do you want to install the update? (Y/n) Y

C:\Users\User>

Update installed. Please run "loda setup" again to check and complete its configuration. loda setup ===== Welcome to LODA v23.1.5! =====

This command will guide you through its setup.

Enter the directory where LODA should store its files. Note that non-default locations require manually adding the LODA_HOME environment variable to your computer. Press return for the default location (see below). [C:\Users\User\loda] C:\Users\User\loda

LODA v23.1.11 is available! Do you want to install the update? (Y/n) Y

C:\Users\User>

Update installed. Please run "loda setup" again to check and complete its configuration. loda update 2023-01-14 10:39:45|INFO |Starting LODA v23.1.5. See https://loda-lang.org/ 2023-01-14 10:39:45|INFO |Using LODA home directory "C:\Users\User\loda\" 2023-01-14 10:39:45|INFO |Update to LODA v23.1.11 available 2023-01-14 10:39:47|INFO |Updating OEIS index (last update 0 days ago)

Update installed. Please run "loda setup" again to check and complete its configuration. 2023-01-14 10:40:03|INFO |Fetched http://api.loda-lang.org/miner/v1/oeis/stripped.gz 2023-01-14 10:40:03|WARN |Setting environment variable: PATH=C:\Program Files\Git\cmd;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\System32\WindowsPowerShell\v1.0\;C:\WINDOWS\System32\OpenSSH\;C:\ProgramData\chocolatey\bin;C:\Program Files (x86)\FAHClient;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\System32\WindowsPowerShell\v1.0\;C:\WINDOWS\System32\OpenSSH\;C:\Program Files (x86)\NVIDIA Corporation\PhysX\Common;C:\Program Files\NVIDIA Corporation\NVIDIA NvDLISR;C:\Program Files\Git\cmd;C:\Users\User\AppData\Local\Microsoft\WindowsApps;C:\Program Files (x86)\FAHClient;;C:\Program Files\Git\usr\bin 2023-01-14 10:40:09|INFO |Fetched http://api.loda-lang.org/miner/v1/oeis/names.gz 2023-01-14 10:40:10|INFO |Updating programs repository (last update 0 days ago) 2023-01-14 10:40:12|INFO |Cleaning up local programs directory 2023-01-14 10:40:12|INFO |Loading sequences from the OEIS index 2023-01-14 10:40:17|INFO |Loaded 338195/359447 sequences in 4.25s 2023-01-14 10:40:17|INFO |Regenerating program stats (last update 0 days ago) 2023-01-14 10:40:37|INFO |Processed 37213 programs 2023-01-14 10:40:57|INFO |Processed 72586 programs 2023-01-14 10:41:17|INFO |Processed 105187 programs 2023-01-14 10:41:27|INFO |Finished stats generation for 112519 programs 2023-01-14 10:41:29|INFO |Generating program lists at "C:\Users\User\loda\lists\" 2023-01-14 10:41:30|INFO |Finished generation of lists for 112518 programs

C:\Users\User>loda setup ===== Welcome to LODA v23.1.5! =====

This command will guide you through its setup.

Enter the directory where LODA should store its files. Note that non-default locations require manually adding the LODA_HOME environment variable to your computer. Press return for the default location (see below). [C:\Users\User\loda]

LODA v23.1.11 is available! Do you want to install the update? (Y/n) Y

C:\Users\User>

Update installed. Please run "loda setup" again to check and complete its configuration.

When I try executing the program again you can see it just starts running the version that was previously installed. C:\Users\User>Loda mine 2023-02-19 11:05:21|INFO |Starting LODA v23.1.25. See https://loda-lang.org/ 2023-02-19 11:05:21|INFO |Using LODA home directory "C:\Users\User\loda\" 2023-02-19 11:05:21|INFO |Loading sequences from the OEIS index 2023-02-19 11:05:24|INFO |Loaded 348112/360393 sequences in 3.78s 2023-02-19 11:05:29|INFO |Initialized 5 matchers (ignoring 136079 sequences) 2023-02-19 11:05:29|INFO |Initialized 1 generators (profile: mutate, overwrite: none) 2023-02-19 11:05:30|INFO |Mining programs in client mode (extended validation mode)

[kotenok2000]

Does it work when you run it from cmd?

[Jarod-M]

Can you please explain how to do this

[kotenok2000]

You said it fails to update from "git cmd" Does it happen with normal Windows cmd too?

[Jarod-M]

I get the following output C:\Users\User\loda>Loda update 'Loda' is not recognized as an internal or external command, operable program or batch file.

C:\Users\User\loda>

[crummy]

I worked with @Jarod-M to resolve this.

The problem seems to be that he was running loda from c:\Users\User, but during setup it was installing to c:\Users\User\loda. We resolved the issue by removing the copy from c:\Users\User then running the copy in c:\Users\User\loda\bin instead.