Package: miner 0.3.2
miner: Control Minecraft with RaspberryJuice API
Following the code in py3minepi, allows one to connect to the minecraft from R.
Authors:
miner_0.3.2.tar.gz
miner_0.3.2.zip(r-4.7)miner_0.3.2.zip(r-4.6)miner_0.3.2.zip(r-4.5)
miner_0.3.2.tgz(r-4.6-any)miner_0.3.2.tgz(r-4.5-any)
miner_0.3.2.tar.gz(r-4.7-any)miner_0.3.2.tar.gz(r-4.6-any)
miner_0.3.2.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
card.svg |card.png
miner/json (API)
NEWS
| # Install 'miner' in R: |
| install.packages('miner', repos = c('https://kbroman.r-universe.dev', 'https://cloud.r-project.org')) |
Bug tracker:https://github.com/kbroman/miner/issues
- mc_items - Minecraft item information
Last updated from:206577a766. Checks:9 OK. Indexed: yes.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-x86_64 | OK | 134 | ||
| source / vignettes | OK | 169 | ||
| linux-release-x86_64 | OK | 113 | ||
| macos-release-arm64 | OK | 104 | ||
| macos-oldrel-arm64 | OK | 85 | ||
| windows-devel | OK | 70 | ||
| windows-release | OK | 58 | ||
| windows-oldrel | OK | 72 | ||
| wasm-release | OK | 90 |
Exports:chatPostfind_entityfind_itemgetBlockgetBlockHitsgetBlocksgetChatPostsgetEntityTypesgetHeightgetPlayerDirectiongetPlayerIdgetPlayerIdsgetPlayerNamegetPlayerPitchgetPlayerPosgetPlayerRotationmc_closemc_connectsetBlocksetBlockssetPlayerDirectionsetPlayerPitchsetPlayerPossetPlayerRotationspawnEntity
Dependencies:
Readme and manuals
Help Manual
| Help page | Topics |
|---|---|
| Post to chat | chatPost |
| Find entity by name | find_entity |
| Find item by name or ID/style | find_item |
| Determine block type and style at some position | getBlock |
| Get most recent block hits | getBlockHits |
| Determine block types in a cuboid | getBlocks |
| Pull the most recent chat message | getChatPosts |
| Get entity types | getEntityTypes |
| Get height of the world at a given position | getHeight |
| Get player direction as unit vector | getPlayerDirection |
| Get player ID | getPlayerId |
| Get player IDs | getPlayerIds |
| Get player name | getPlayerName |
| Get player pitch | getPlayerPitch |
| Get player position | getPlayerPos |
| Get player rotation | getPlayerRotation |
| Close cached connection to Minecraft server | mc_close |
| Create a connection to a Minecraft server | mc_connect |
| Minecraft item information | mc_items |
| Place a block | setBlock |
| Place blocks in a cuboid | setBlocks |
| Set a player's direction | setPlayerDirection |
| Set a player's pitch | setPlayerPitch |
| Change player position | setPlayerPos |
| Set a player's rotation | setPlayerRotation |
| Spawn an entity | spawnEntity |
