pins (version 0.4.2)

board_deregister: Deregister Board

Description

Deregisters a board, useful to disable boards no longer in use.

Usage

board_deregister(name, ...)

Arguments

name

An optional name to identify this board, defaults to the board name.

...

Additional parameters required to deregister a particular board.

Examples

# NOT RUN {
# create a new local board
board_register("local", "other_board", cache = tempfile())

# pin iris to new board
pin(iris, board = "other_board")

# deregister new board
board_deregister("other_board")

# }