Merge pull request #41432 from ajs124/steam_profile_override

steam: add optional extraProfile
This commit is contained in:
Yegor Timoshenko 2018-06-05 22:08:53 +03:00 committed by GitHub
commit 1786883011
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,6 +3,7 @@
, withJava ? false
, withPrimus ? false
, extraPkgs ? pkgs: [ ] # extra packages to add to targetPkgs
, extraProfile ? "" # string to append to profile
, nativeOnly ? false
, runtimeOnly ? false
}:
@ -178,7 +179,7 @@ in buildFHSUserEnv rec {
profile = ''
export STEAM_RUNTIME=${if nativeOnly then "0" else "/steamrt"}
'';
'' + extraProfile;
runScript = writeScript "steam-wrapper.sh" ''
#!${stdenv.shell}