diff options
author | Marek Gradzki <mgradzki@cisco.com> | 2018-04-30 09:03:13 +0200 |
---|---|---|
committer | Marek Gradzki <mgradzki@cisco.com> | 2018-04-30 09:03:13 +0200 |
commit | e4c58493ce5265ea0d1e17d160c339401c406186 (patch) | |
tree | 4f7ac75773ad305b04982737e0500d613f24603e /examples/docker/vpp/kill.sh | |
parent | 2e96f3423a2619cd2aa9d188de513723416c15e6 (diff) |
Move docker files to examples directory
Change-Id: Ib2eb3dbae76a1e9b5d98ce9e0d5eea9adba280cf
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
Diffstat (limited to 'examples/docker/vpp/kill.sh')
-rwxr-xr-x | examples/docker/vpp/kill.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/docker/vpp/kill.sh b/examples/docker/vpp/kill.sh new file mode 100755 index 000000000..329d201ec --- /dev/null +++ b/examples/docker/vpp/kill.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +ps -ef | grep vpp | awk '{print $2}'| xargs kill |