// pipedial -- terminal element picker
// Copyright (C) 2019 xaizek <xaizek@posteo.net>
//
// This file is part of pipedial.
//
// pipedial is free software: you can redistribute it and/or modify
// it under the terms of version 3 of the GNU General Public License
// as published by the Free Software Foundation.
//
// pipedial is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with pipedial. If not, see <https://www.gnu.org/licenses/>.
#ifndef PIPEDIAL__ARGS_HPP__
#define PIPEDIAL__ARGS_HPP__
#include <string>
// Parses command line arguments.
class Args
{
public:
// Does the parsing.
Args(int argc, const char *argv[]);
public:
// Retrieves title of the list.
std::string getTitle() const
{ return title; }
// Retrieves filter-on-start flag.
bool getFilterOnStart() const
{ return filterOnStart; }
public:
std::string title; // Title of the list.
bool filterOnStart; // Start in filtering mode.
};
#endif // PIPEDIAL__ARGS_HPP__
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/pipedial
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/pipedial
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master