https://bugs.winehq.org/show_bug.cgi?id=56156
--- Comment #7 from A ppJan2024@proton.me --- Or maybe
```shell export ORIGINAL_WINEPREFIX=$WINEPREFIX && \ export WINEPREFIX=/home/$USER/.wine/.wine-SamSung && \ if [ $WINEPREFIX = /home/$USER/.wine/.wine-SamSung ]; \ then WINEPREFIX=/home/$USER/.wine/.wine-SamSung guix shell wine wine64 winetricks -- winetricks dotnet48 && \ WINEPREFIX=/home/$USER/.wine/.wine-SamSung guix shell wine wine64 winetricks -- winetricks -q arial && \ WINEPREFIX=/home/$USER/.wine/.wine-SamSung guix shell wine wine64 winetricks -- wine /home/$USER/Downloads/SamsungDeXSetupWin.exe; \ else echo The prefix is equal to $WINEPREFIX; \ fi; \ export WINEPREFIX=$ORIGINAL_WINEPREFIX ```