diff options
Diffstat (limited to 'development/monodevelop/fix-nuget-mgm.patch')
| -rw-r--r-- | development/monodevelop/fix-nuget-mgm.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/development/monodevelop/fix-nuget-mgm.patch b/development/monodevelop/fix-nuget-mgm.patch new file mode 100644 index 0000000000..17a83aab11 --- /dev/null +++ b/development/monodevelop/fix-nuget-mgm.patch @@ -0,0 +1,12 @@ +diff -ur monodevelop.old/main/monodevelop.desktop monodevelop/main/monodevelop.desktop +--- monodevelop.old/main/monodevelop.desktop 2017-04-12 10:50:03.000000000 -0300 ++++ monodevelop/main/monodevelop.desktop 2017-07-09 19:04:01.306846766 -0300 +@@ -6,7 +6,7 @@ + GenericName[ja]=統合開発環境 + Comment=Develop .NET applications in an Integrated Development Environment + Comment[ja]=.NETアプリケーション開発を行うための統合開発環境 +-Exec=monodevelop %F ++Exec=env MONO_TLS_PROVIDER=legacy monodevelop %F + TryExec=monodevelop + Icon=monodevelop + StartupNotify=true |