~/.cargo/bin/json2parquet -c zstd data_000000.json data_000000.parquet
i.e. some stuff and junk about Python, Perl, Matlab, Ruby, Mac X, Linux, Solaris, ...
Sunday, August 21, 2022
Linux: json to parquet
Use: https://github.com/domoritz/json2parquet
Labels:
Linux
Sunday, June 19, 2022
VNC: Arch linux autostart vnc
Add /home//.config/systemd/user/myvnc@:1.service
[Unit]
Description=My VNC
[Service]
Type=simple
ExecStartPre=/bin/sh -c '/usr/bin/vncserver -kill %i > /dev/null 2>&1 || :'
ExecStart=/usr/bin/vncserver %i
ExecStop=/usr/bin/vncserver -kill %i
[Install]
WantedBy=default.target
Then
systemctl --user start myvnc@\:1.service
and
systemctl --user enable myvnc@\:1.service
and
tigervnc: Diable vnc password on Arch Linux
Edit /etc/tigervnc/vncserver-config-defaults and add:
securitytypes=none
Thursday, June 16, 2022
spark and notebook from docker
docker run --rm -p 10000:8888 jupyter/all-spark-notebook
Labels:
docker
Wednesday, June 15, 2022
Arch: Toobox and Distrobox error "Authorization required, but no authorization protocol specified"
Executing on the host (Arch)
xhost +
made the gui applications work in both Toobox and Distrobox.
Labels:
Arch
Monday, March 07, 2022
Tuesday, September 21, 2021
wget: Download full page in a loop
for p in {1..96};do wget -p -k -H -e robots=off https:///page${p}.html;done
Labels:
Linux
Thursday, August 26, 2021
Arch: Microsoft team "Login" button does not work (can't click it).
It my case installing `gnome-keyring` solved the issue:
yay gnome-keyring
Labels:
Arch
Monday, August 23, 2021
rdesktop: Arch linux no sound from remote
The package that comes with arch does not support pulse audio:
rdesktop-vrdp -help
'-r sound:[local[:driver[:device]]|off|remote]': enable sound redirection
remote would leave sound on server
available drivers for 'local':
oss: OSS output driver, default device: /dev/dsp or $AUDIODEV
I ended up compling rdesktop from https://github.com/rdesktop/rdesktop:
# run `autoreconf` -i first if configure is missing
./configure --with-sound
make
sudo make install
This resulted in pusle support:
'-r sound:[local[:driver[:device]]|off|remote]': enable sound redirection
remote would leave sound on server
available drivers for 'local':
pulse: PulseAudio output driver, default device: system dependent
alsa: ALSA output driver, default device: default
oss: OSS output driver, default device: /dev/dsp or $AUDIODEV
libao: libao output driver, default device: system dependent
Use:
/opt/myrdesktop/bin/rdesktop -u "user_name" -r sound:local:pulse windows_ip_addr
Saturday, August 14, 2021
Subscribe to:
Posts (Atom)