237dmitry
237dmitry
I think a less complicated way is to dump the settings for each theme with `dconf` and restore the one you need. A more complicated option is a script that...
How it could be represented? As in bash? 
> should actually accept verbatim the characters Yes, I think so. Maybe with ``` `t ``` or `\t` replacement.
> The concept of a character-encoding such as UTF-8 doesn't apply to in-memory strings getting pasted When using `Get-Clipboard`, tab characters are not replaced with spaces.: ``` $ [int[]][char[]] "a...
> The process stays the same, it is the executable program loaded into the process that changes. ( identical pid, identical parent pid etc ) /usr/bin/exec does the same: 
> You have a /usr/bin/exec? Sorry. This is builtin
Just out of curiosity. What problems? In my experience, curl sometimes doesn't work, but IWR does. And vice versa. However, I can't give any specific examples. It probably sounds implausible.

Yes, indeed 162Mb and 76Kb are not the same
How did you find `curl` value for `UserAgent` parameter? It is not in known PowerShell user agents: ```powershell #!/usr/bin/env -S pwsh -nop $uas = ([Microsoft.PowerShell.Commands.PSUserAgent] | Get-Member -Static -MemberType Property).Name...