Make the Nettools backend optional. #5

Merged

SlavekB merged 1 commits from feat/optional_nettools into master

Ghost commented

The Net-tools package is an hard dependency for knemo, hence It shouldn't.
Here is my attempt to remedy.

The Nettools option has been set as OFF by defaults because this backend does not work properly anymore.

Ghost added the PR/rfc label

Ghost added 1 commit

1d8cc9bb08

Make the Nettools backend optional.

Signed-off-by: gregory guy <gregory-tde@laposte.net>

Ghost force-pushed feat/optional_nettools from 1d8cc9bb08 to 28bf622727

Ghost added PR/wip and removed PR/rfc labels

MicheleC referenced this pull request

Change default backend from Nettools to Sys. #4

Ghost force-pushed feat/optional_nettools from 28bf622727 to 5b9f225735

Ghost force-pushed feat/optional_nettools from 5b9f225735 to 941fa650f6

Ghost changed title from ~~WIP:Make the Nettools backend optional.~~ to Make the Nettools backend optional.

Ghost removed the PR/wip label

SlavekB approved these changes

SlavekB left a comment

Owner

It seems good.

SlavekB commented

Owner

@cethyel please, you can do rebase to current head?

MicheleC added this to the R14.0.11 release milestone

MicheleC removed this from the R14.0.11 release milestone

Ghost force-pushed feat/optional_nettools from 941fa650f6 to b414931502

SlavekB merged commit b414931502 into master 3 years ago

SlavekB deleted branch feat/optional_nettools

SlavekB added this to the R14.0.11 release milestone

Reviewers

SlavekB approved these changes

The pull request has been merged as b414931502.

Sign in to join this conversation.

No Assignees

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: TDE/knemo#5