Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-ide
Commits
1fa00574
Commit
1fa00574
authored
Feb 03, 2003
by
Diederik van Arkel
Browse files
bugfix 'export environment'
parent
5aab8cda
Changes
1
Hide whitespace changes
Inline
Side-by-side
Ide/targetui.icl
View file @
1fa00574
...
...
@@ -291,10 +291,10 @@ where
#
envname
=
env
.
target_name
#
envpath
=
MakeFullPathname
EnvsDir
(
envname
+++
".env"
)
// select file
#
(
envpath
,
ps
)
=
selectOutputFile
""
envpath
ps
#
(
envpath
,
ps
)
=
selectOutputFile
"
Save Environment As...
"
envpath
ps
|
isNothing
envpath
=
(
ls
,
ps
)
#
envpath
=
fromJust
envpath
#
(
ok
,
ps
)
=
saveEnvironments
env
s
path
[
env
]
ps
#
(
ok
,
ps
)
=
saveEnvironments
envpath
[
env
]
ps
|
not
ok
#
ps
=
okNotice
[
"Unable to save environment."
]
ps
=
(
ls
,
ps
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment