![]() |
![]() | Feature request - terminal snippets | ![]() |
![]() |
![]() | ![]() |
Site Admin
![]() |
![]() |
It's not terminal's task to save the commands. If for example you work under bash shell, all the commands are saved by bash. Feel free to invoke them with up/down arrows.
|
|||||||||||
_________________ The PHP IDE team
|
![]() |
![]() | Feature request - terminal snippets | ![]() |
|
||
![]() |
![]() |
Content © NuSphere Corp., PHP IDE team
Powered by phpBB © phpBB Group, Design by phpBBStyles.com | Styles Database.
Powered by
Powered by phpBB © phpBB Group, Design by phpBBStyles.com | Styles Database.
Powered by
