1 #ifndef SHARED_UTIL_H

     2 #define SHARED_UTIL_H

     3 

     4 #include <stddef.h>

     5 

     6 /**

     7  * Replace the file extension in the given path buffer with the given extension, which should be of the form ".foo"

     8  */

     9 int chfext (char *path, size_t len, const char *newext);

    10 

    11 /**

    12  * Copy filesystem path with new file extension

    13  */

    14 int path_with_fext (const char *path, char *buf, size_t len, const char *newext);

    15 

    16 

    17 #endif