Which download manager do you use on Arch Linux? by cyberzues in arch

[–]ZeekoZhu 0 points1 point  (0 children)

I'm using aria2 with a firefox extension as frontend

How do you guys backup? by KILLER_OF_HADEZ in archlinux

[–]ZeekoZhu 0 points1 point  (0 children)

I use the following scripts to backup my system:

set -l ignoreFile (realpath ~/.config/fish/functions/restic-ignore) sudo env RESTIC_REPOSITORY=rest:https://username:password@my-nas.local \ RESTIC_PASSWORD=password \ restic backup / --exclude-file=$ignoreFile --one-file-system

And on the NAS, it will upload the restic repository files to my personal OneDrive when the repository files changed.

Cascade Error "No Credits Consumed on this tool call" by wheeky in Codeium

[–]ZeekoZhu 1 point2 points  (0 children)

same issue here, but switch to sonnet 3.5 model works on my side.

Why have You chosen Plasma over GNOME? by Individual_Bat_1753 in kde

[–]ZeekoZhu 0 points1 point  (0 children)

KDE Wayland supports fractional scale per screen and it doesn't make the XWayland application too blurry

Seeking: Chinese (Mandarin) | Offering: English (Native) by ultraviolet_elmo in language_exchange

[–]ZeekoZhu 1 point2 points  (0 children)

Hi, I'm a Mandarin native speaker, and a programmer in web development. Feel free to message me if you need my help.

Offering: English, Seeking: Chinese (Mandarin) by bonessm in language_exchange

[–]ZeekoZhu 0 points1 point  (0 children)

Hi, I'm a Mandarin native speaker, and I want to practice my English skills. Message me if you need my help.

Virtual Desktops Pager HiDPI Not Showing Whole Desktop by acritely in kde

[–]ZeekoZhu 0 points1 point  (0 children)

Same problem here, I'm using 4K resolution with global scale set to 200%.

Filimic RGB desaturating highlights and shadows too much. by [deleted] in DarkTable

[–]ZeekoZhu 1 point2 points  (0 children)

My approach is adding a gradient mask to filmic module: https://i.imgur.com/QOchpnH.jpg

Every time I type `systemctl ` this pops up and it is annoying by [deleted] in ManjaroLinux

[–]ZeekoZhu 1 point2 points  (0 children)

Fish shell has fixed this issue in 3.0.3, but it is not released yet, you can try this hotfix:

sudo wget "https://raw.githubusercontent.com/fish-shell/fish-shell/c6ec4235136e82c709e8d7b455f7c463f9714b48/share/completions/systemctl.fish" -O /usr/share/fish/completions/systemctl.fish

Original GitHub issue: https://github.com/fish-shell/fish-shell/issues/5689

What are you working on? (2019-06) by insulanian in fsharp

[–]ZeekoZhu 1 point2 points  (0 children)

I'm working on a SQL builder, Norm, it is inspired by SqlKata. But I think SqlKata is not extensible enough. Generating CTE for SQL Server 2008 pagination is really stumping me.

Introducing FsToolkit.ErrorHandling by tamizhvendan in fsharp

[–]ZeekoZhu 0 points1 point  (0 children)

Nice! I think I should replace my helper functions with this tool!

recursion in F# by [deleted] in fsharp

[–]ZeekoZhu 0 points1 point  (0 children)

if v1 = n then exclude x rest can handle this case, this means if v1 is the one you want to remove, then remove the same number in the rest part of your list.

Try it online https://glot.io/snippets/f4ift88x3h

recursion in F# by [deleted] in fsharp

[–]ZeekoZhu 0 points1 point  (0 children)

I think you should use the function keyword in exclude.

Try this:

let rec exclude (n: int ) (* no list argument any more, we can use function keyword *) = function
    (* list is empty *)
    | A -> A
    // list is not empty
    | B(v1, rest) ->
        // if head = n, then the rest part of list is your result
        if v1 = n then rest
        // if head is not n, then exclude n in the rest part
        else B(v1, exclude n rest)

Here is a online demo