pins (version 0.1.0)

board_deregister: Deregister Board

Description

Deregisters a board, useful to disable boards no longer in use. This operation removes all locally cached pins.

Usage

board_deregister(name)

Arguments

name

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

Examples

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

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

# deregister new board
board_deregister("other_board")

# }