Skip to content

Add clear command (#1153)#1154

Open
edoardottt wants to merge 1 commit intomininet:masterfrom
edoardottt:devel/clear
Open

Add clear command (#1153)#1154
edoardottt wants to merge 1 commit intomininet:masterfrom
edoardottt:devel/clear

Conversation

@edoardottt
Copy link

This PR closes #1153.

@lantz
Copy link
Member

lantz commented Nov 22, 2022

I like that you've added a CLI command, but what was wrong with just

mininet> sh clear

??

@edoardottt
Copy link
Author

I didn't know about that actually, but showing that command in the help could be useful

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add clear command

2 participants