xaizek / fragile (License: AGPLv3+) (since 2018-12-07)
Simple lightweight CI, attempting to be somewhat Unix-like in its philosophy.
<root> / classes / Utils.php (899c9ef5c4b27617d0f7fb022b30225d633c0f03) (1,970B) (mode 100644) [raw]
<?php
// Copyright (C) 2018 xaizek <xaizek@posteo.net>
//
// fragile is free software: you can redistribute it and/or modify it under the
// terms of the GNU Affero General Public License as published by the Free
// Software Foundation, version 3.
//
// fragile 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 Affero General Public License for more
// details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

/**
 * @brief Helper functions.
 */
class Utils
{
    /**
    * @brief Removes subtree.
    *
    * @param dir Directory path to remove.
    *
    * @returns Result of rmdir().
    */
    public static function delTree($dir)
    {
        if (!is_dir($dir)) {
            return false;
        }

        $files = array_diff(scandir($dir), ['.', '..']);
        foreach ($files as $file) {
            $path = "$dir/$file";
            if (is_dir($path) && !is_link($path)) {
                Utils::delTree($path);
            } else {
                unlink($path);
            }
        }
        return rmdir($dir);
    }

    /**
     * @brief Formats time duration as a string.
     *
     * @param duration Duration in seconds.
     *
     * @returns "unknown" for negative @p duration, "< 1s" for zero @p duration
     *          and "[Xm]Ys" for positive @p duration.
     */
    public static function formatDuration($duration)
    {
        if ($duration < 0) {
            return 'unknown';
        }
        if ($duration == 0) {
            return '< 1s';
        }

        $minutes = floor($duration/60);
        $seconds = $duration%60;

        $text = '';
        if ($minutes >= 1) {
            $text .= $minutes . 'm';
        }
        $text .= $seconds . 's';

        return $text;
    }
}

?>
Hints

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/fragile

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/fragile

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