https://bugs.winehq.org/show_bug.cgi?id=56156
--- Comment #10 from A ppJan2024@proton.me --- ```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 && \ guix shell wget2 -- wget2 --output-document=/home/$USER/Downloads/SamsungDeXSetupWin.exe https://downloadcenter.samsung.com/content/SW/202310/20231026121542224/Samsu... && \ 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 ```