Documentation#

Full detailed Documentation here


Discord Server#

You can join the Official Discord Server and get answers to your questions


Error Reporting & Feature requests#

Error reporting and feature requests can be made through Github issues or in the official Discord Server


FAQ#

Q. What does Portal do ?#

A. It is a multipurpose Discord bot that helps you manage and organise your server,gives you informative commands but also fun ones and has a the easiest to use and most intuitive music player.#

It provides:

  • Voice channels on demand (automatic naming, update, deletion) ./portal
  • Give and remove roles from users with a single reaction ./vendor
  • Creates temporary "focus" channels for private conversations ./focus
  • Music player that is clean and clutter free ./music
  • Get the latest on covid19, weather, crypto, news and more
  • ignored, announcement , url-only channels
  • You can create moderators easily who can kick, ban and create customisable server invites
    without ever giving them any permission just one role p.mod
  • A ranking system that allows you to give roles according to levels
  • Easily create server polls
  • Much more

Q. How can I give members authority ?#

A. You have to create roles p.admin , p.mod, p.dj, p.whitelist and p.ignore and assign them to users.#

togive roledescription
make adminp.adminAn admin can use all the authorised commands
make moderatorp.modA moderator can kick and ban members, can generate invites and change auto-mod options
make djp.djA dj controls the music player without votes
whitelistp.whitelistA whitelisted member will be excluded from spam moderation
ignorep.ignoreAn ignored member will be ignored by Portal

Q. How do I create portal controlled channel ?#

A. All portal channels are spawned in the same manner.#

Create a new portal (voice) that spawns voice channels

  1. will create a new portal channel named my_portal

    ./portal my_portal
  2. will create a new portal channel named my_portal and category my_category and make my_portal as child

    ./portal my_portal | my_category

Create a new music/announcement (text)

  1. will make current channel music/announcement

    ./music
  2. will create a new requested type channel named my_channel and category my_category and make my_portal as child

    ./music my_channel
  3. will create a new requested type channel named my_channel and category my_category and make my_channel as child

    ./music my_channel | my_category

Q. How do I remove a channel from its category ?#

A. You just have to write a message inside the channel with the category name#

For example lets say that you have a channel called my-music which is the music channel, you just have to type ./music and the channel will no longer be the music channel.


Q. How do I play music from music channel ?#

A. First create a music channel and then just type the song you want.#

Portal's music player resides in a text channel. Rather than requesting a song via a command you simply type the song you wish to listen to, in the music channel, and portal magically appear and play it for you.

Guide

  1. Create a music channel by simply typing (if it doesn't exist)

    ./music my music channel
  2. Go to the newly created music channel (run command ./state to locate it)

  3. Type in plain text the name of the song you want to listen too