launch-terminal (220B)
1 #!/usr/bin/env bash
2
3 # Adds special environment variables when starting terminal.
4
5 if [[ $XDG_SESSION_TYPE -eq "wayland" ]]; then
6 exec env WINIT_HIDPI_FACTOR=1.0 WAYLAND_DISPLAY= $TERMINAL
7 else
8 exec $TERMINAL
9 fi